termite2/cudd — pull request #1 by davidcock (2014-10-24 04:07:44+00:00)
Title: CUDD as a standalone Haskell package

I've merged cudd and haskell_cudd here. The reason for doing this is that cabal will now build a standalone static library, such that when the termite tool is build, it doesn't depend on any non-standard shared libraries. This has the benefit that setting LD_LIBRARY_PATH is no longer necessary.