The hBDD-CMUBDD package

[Tags:lgpl, library]

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


[Skip to Readme]

Properties

Versions 0.0.3
Dependencies base (==4.*), containers, deepseq, hBDD (==0.0.3), unix [details]
License 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 Sun May 24 23:55:41 UTC 2015 by PeterGammie
Distributions NixOS:0.0.3
Downloads 195 total (12 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2016-12-09 [all 7 reports]
Hackage Matrix CI

Modules

  • Data
    • Boolean
      • Data.Boolean.CMUBDD

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for hBDD-CMUBDD

Readme for hBDD-CMUBDD-0.0.3

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)