obdd: Ordered Reduced Binary Decision Diagrams
Construct, combine and query OBDDs; an efficient representation for formulas in propositional logic
| Version | 0.2 |
|---|---|
| Dependencies | base, containers, mtl, random |
| License | GPL |
| Author | Johannes Waldmann |
| Maintainer | Johannes Waldmann <waldmann@imn.htwk-leipzig.de> |
| Category | |
| Upload date | Thu Jul 3 07:55:44 UTC 2008 |
| Uploaded by | JohannesWaldmann |
| Built on | ghc-6.10, ghc-6.12, ghc-6.8 |
| Distributions | Arch: 0.2 |
Modules
Downloads
- obdd-0.2.tar.gz (Cabal source package)
- package description (included in the package)