@hackage hBDD-CUDD0.0.3

An FFI binding to the CUDD library

Categories
License
LicenseRef-LGPL
Maintainer
peteg42@gmail.com
Links
Versions
- 0.0.3 Sun, 24 May 2015
- 0.0.2 Sun, 24 Jun 2012

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 CUDD part of it.