hBDD-CMUBDD: An FFI binding to CMU/Long's BDD library

[ data, library ] [ Propose Tags ]

hBDD provides a high-level API to some Boolean Decision Diagram libraries; this is the CMU/Long part of it.

[Skip to Readme]


  • Data
    • Boolean
      • Data.Boolean.CMUBDD


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 0.0.3
Dependencies base (>=4 && <5), containers, deepseq, hBDD (==0.0.3), unix [details]
License LicenseRef-LGPL
Copyright (C) 2002-2005, 2009 University of New South Wales, (C) 2009-2011 Peter Gammie
Author Peter Gammie
Maintainer peteg42@gmail.com
Category Data
Uploaded by PeterGammie at 2015-05-24T23:55:41Z
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1069 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-09 [all 7 reports]

Readme for hBDD-CMUBDD-0.0.3

[back to package description]
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)