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 | base (4.*), containers, mtl, random |
| License | GPL |
| Author | Johannes Waldmann |
| Maintainer | Johannes Waldmann <waldmann@imn.htwk-leipzig.de> |
| Category | Logic |
| Source repository | git clone git://dfa.imn.htwk-leipzig.de/srv/git/obdd/ |
| Upload date | Tue Aug 21 22:09:03 UTC 2012 |
| Uploaded by | JohannesWaldmann |
| Build failure | ghc-7.4 (log) |
Modules
- OBDD
- OBDD.Data
- OBDD.Make
- OBDD.Operation
- OBDD.Property
Downloads
- obdd-0.2.5.tar.gz (Cabal source package)
- package description (included in the package)