hBDD-CUDD

An FFI binding to the CUDD 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, Jeremy Lee
Maintained by peteg42@gmail.com
CUDD lacks an install target and a configure script, and so needs to be
setup by hand for your particular system. Examine:

<hbdd toplevel>/cudd-2.4.1/Makefile

and adjust the compiler flags for your system. The defaults work fine
on Debian GNU/Linux x86 for me. Note it does not build a shared
library and so GHCi does not work.

I use the one from Macports under OS X.

The create-cudd-so.sh script creates a shared library that GHCi can
use from the CUDD static libraries.
Used by 1 package:
comments powered byDisqus