Commit Graph

10 Commits

Author SHA1 Message Date
Vitor Santos Costa
c6a02d3fe4 bdd 2017-01-09 15:00:03 +00:00
Vitor Santos Costa
490a07ade2 improve configure 2016-12-03 10:35:39 -06:00
Vitor Santos Costa
1bea4230e4 cmake 2016-08-23 11:15:07 -05:00
Vitor Santos Costa
7a7d36a3ef fixes 2016-07-31 10:29:15 -05:00
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