The hBDD-CMUBDD package

[ Tags: data, lgpl, 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]

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 205 total (4 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
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-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)