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

[ data, library ] [ Propose Tags ] [ Report a vulnerability ]

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

[Skip to Readme]

Modules

Data
- Boolean
  - Data.Boolean.CMUBDD

Downloads

hBDD-CMUBDD-0.0.3.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

PeterGammie

For package maintainers and hackage trustees

edit package information

Candidates

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
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	1086 total (3 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)

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

Modules

Downloads

Maintainer's Corner

Readme for hBDD-CMUBDD-0.0.3

pFad - (p)hone/(F)rame/(a)nonymizer/(d)eclutterfier! Saves Data!