The obdd package

[Tags: gpl, library]

Construct, combine and query OBDDs; an efficient representation for formulas in propositional logic

Properties

Versions0.2, 0.2.3, 0.2.5, 0.2.7, 0.3.1, 0.3.2
Change logNone available
Dependenciesarray, base (==4.*), containers (>=0.5), mtl, random [details]
LicenseGPL
AuthorJohannes Waldmann
MaintainerJohannes Waldmann
CategoryLogic
Home pagehttps://github.com/jwaldmann/haskell-obdd
Source repositoryhead: git clone git://github.com/jwaldmann/haskell-obdd.git
UploadedThu Jan 29 22:28:06 UTC 2015 by JohannesWaldmann
Downloads944 total (45 in last 30 days)
Votes
0 []
StatusDocs available [build log]
Last success reported on 2015-01-29 [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees