Commit Graph

16 Commits

Author SHA1 Message Date
Vitor Santos Costa
29fba0238d support cudd 3.0 2016-04-14 11:58:35 +01:00
vscosta
4d3d9c408d adds 2016-04-05 02:52:50 +01:00
Vitor Santos Costa
438cd7dce5 fix config 2015-10-20 03:10:13 +01:00
Vítor Santos Costa
1d6f9981e1 mkdir and small stuff 2015-07-06 12:04:42 +01:00
Vítor Santos Costa
3b4226bda1 cmake work 2015-04-21 16:12:18 -06:00
Vitor Santos Costa
252a2b7868 bdd stuff 2015-03-08 02:15:53 +00:00
Vítor Santos Costa
4386c42d02 improve cudd with bdd printing -> nodes, and true=1 false=0 2015-03-04 09:50:15 +00:00
Vitor Santos Costa
4a5a3d833a fix tyes. 2015-01-27 03:25:56 +00:00
Vítor Santos Costa
882eaca30c updates to documentation 2014-09-12 18:50:04 -05:00
Vitor Santos Costa
1c9167a6c5 small fixes 2013-10-03 11:28:09 +01:00
Vitor Santos Costa
d78a55ca83 fix cudd support. 2012-07-08 07:45:16 -05:00
Vítor Santos Costa
3d216cf9db iextend bdd support. 2012-04-03 15:00:22 +01:00
Vítor Santos Costa
3563dcbf03 control for very large bdds. 2012-03-30 09:50:18 +01:00
Vítor Santos Costa
295cf24f5c extend functionality. 2012-03-27 14:57:43 +01:00
Vítor Santos Costa
07335ce047 clp(bn) support 2012-03-22 23:24:09 +00:00
Vítor Santos Costa
6ad2c9b3a9 experimental BDD interface package. 2012-03-22 21:36:44 +00:00