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.

Getting Started

1. Install C compilers and stack if necessary:

   apt install build-essential git
   curl -sSL https://get.haskellstack.org/ | sh
   

2. Download, build and load the lastest version:

   git clone https://github.com/m4lvin/HasCacBDD.git
   cd HasCacBDD
   stack setup
   stack build
   stack exec ghci
   

   Note: stack ghci apparently does not work with the shared library. You really need stack build and then stack exec ghci.

   To use cabal instead of stack: cabal build, then cabal exec ghci and then :set -package HasCacBDD.

3. Now you can play with Boolean functions :-)

   ghci> import Data.HasCacBDD
   ghci> var 5
   var 5
   ghci> neg (var 5)
   neg (var 5)
   ghci> dis (neg (var 3)) (var 3)
   top
   ghci> dis (neg (var 1)) (var 3)
   ifthenelse (var 1) (var 3) top
   

For further documentation, see https://hackage.haskell.org/package/HasCacBDD/docs/Data-HasCacBDD.html