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 |
|