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
Dependenciesbase, containers, mtl, random [details]
LicenseGPL
AuthorJohannes Waldmann
MaintainerJohannes Waldmann <waldmann@imn.htwk-leipzig.de>
UploadedThu Jul 3 07:55:44 UTC 2008 by JohannesWaldmann
DistributionsNixOS:0.3.2
Downloads939 total (44 in last 30 days)
Votes
0 []
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees