Commit Graph

55 Commits

Author SHA1 Message Date
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