HasCacBDD

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
gpl, library, Propose Tags , Data.HasCacBDD, Data.HasCacBDD.Visuals, http://kailesu.net/CacBDD
License
GPL-2.0-only
Install
cabal install HasCacBDD-0.1.0.0

Documentation

HasCacBDD

Haskell bindings for CacBDD, a BDD Package with Dynamic Cache Management.

Using CacBDD from http://kailesu.net/CacBDD/

You probably want to type 'make all' which will:

  1. Download CacBDD from http://www.kailesu.net/CacBDD/CacBDD1.01.zip
  2. Install a C-wrapped version of CacBDD to /usr/local/cacbdd/
  3. Install Data.HasCacBDD with cabal.

For more details look at the Makefile.