@hackage hBDD-CMUBDD0.0.3

An FFI binding to CMU/Long's BDD library

Categories
License
LicenseRef-LGPL
Maintainer
peteg42@gmail.com
Links
- Documentation
- No source repository
- Security
Versions
- 0.0.3 Sun, 24 May 2015

Installation
In your cabal file:
Dependencies (5)
- base >=4 && <5
- containers
- deepseq
- unix
- hBDD ==0.0.3
Dependents (1)
@hackage/acme-everything

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