HasCacBDD-0.1.0.3: Haskell bindings for CacBDD

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.