HasCacBDD
Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache managemen...
Latest release 0.1.0.0 - Published
smcdel
See README.md and SMCDEL.pdf for references and documentation.
Latest release 1.0.0 - Published - 9 stars