@hackage cudd0.1.0.0

Bindings to the CUDD binary decision diagrams library

Categories
License
BSD-3-Clause
Maintainer
adamwalker10@gmail.com
Links
- Homepage
- Documentation
- No source repository
Versions
- 0.1.0.4 Mon, 9 Jan 2017
- 0.1.0.3.1 Tue, 29 Nov 2016
- 0.1.0.3 Sat, 26 Nov 2016
- 0.1.0.2 Sun, 26 Apr 2015
- 0.1.0.1 Mon, 19 Jan 2015
- 0.1.0.0 Fri, 2 Jan 2015

Installation
In your cabal file:
Dependencies (4)
- array >=0.4 && <0.6
- base >=4.6 && <4.8
- mtl >=2.1 && <2.3
- transformers >=0.3 && <0.5
Dependents (2)
@hackage/acme-everything, @hackage/smcdel

Bindings to the CUDD binary decision diagrams library.

http://vlsi.colorado.edu/~fabio/CUDD/