HasCacBDD (hackage): Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management. Original C++ code from http://kailesu.net/CacBDD and a C wrapper are included.
Keywords: data|gpl|library|binary-decision-diagrams|ffi|haskell-bindings