6 Commits

Author	SHA1	Message	Date
Vitor Santos Costa	d38986fa07	android+gmp+new cud	2016-05-30 11:23:36 +01:00
Vitor Santos Costa	96f03e26e8	fix WIN stuff	2016-04-18 16:41:30 +01:00
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