The obdd package
Construct, combine and query OBDDs; an efficient representation for formulas in propositional logic
Properties
| Versions | 0.2, 0.2.3, 0.2.5, 0.2.7 |
|---|---|
| Dependencies | array, base (4.*), containers (≥0.5), mtl, random |
| License | GPL |
| Author | Johannes Waldmann |
| Maintainer | Johannes Waldmann <waldmann@imn.htwk-leipzig.de> |
| Category | Logic |
| Source repository | git clone git://github.com/jwaldmann/haskell-obdd.git |
| Upload date | Sun Feb 17 16:04:04 UTC 2013 |
| Uploaded by | JohannesWaldmann |
| Built on | ghc-7.6 |
Modules
Downloads
- obdd-0.2.7.tar.gz (Cabal source package)
- package description (included in the package)