hBDD-CMUBDD

An FFI binding to CMU/Long's BDD library

Latest on Hackage:0.0.3

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

LGPL licensed by Peter Gammie
Maintained by peteg42@gmail.com
On OS X, there is no dylib, so no GHCi. You can create these by hand:

In the BDD library distribution's mem/
gcc -arch i386 -I<include path> -L<library path> -O *.c -shared -fPIC -o libmem.dylib
(copy libmem.dylib into a library directory)

In the BDD library distribution's bddlib/
gcc -arch i386 -I<include path> -L<library path> -lmem -O *.c -shared -fPIC -o libbdd.dylib
(copy libbdd.dylib into a library directory)

comments powered byDisqus