4 Commits

Author	SHA1	Message	Date
Vitor Santos Costa	631eb4c265	simplify FindCudd	2016-04-15 11:32:22 +01:00
Vitor Santos Costa	29fba0238d	support cudd 3.0	2016-04-14 11:58:35 +01:00
vscosta	d9bfcc0f78	cudd is now provided by brew	2016-04-05 02:22:49 +01:00
Vítor Santos Costa	145ad73255	small fixes ... indenting	2016-03-30 17:35:03 +01:00