6 Commits

Auteur	SHA1	Bericht	Datum
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