Has somebody tried to interface in OZ
* a standard BDD library as BDDLIB from CMU?
(I have implemented my own library in OZ, but I would like to use an
optimized one) (I have found an interfacing of a BDD library in ML)
* a SAT solver such as zChaff? (OK, it is possible to re-implement it
with constraint programming, but still, I would like to try ;) )
Thank you.
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
