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
Dependenciesbase (==4.*), containers, mtl, random
LicenseGPL
AuthorJohannes Waldmann
MaintainerJohannes Waldmann <waldmann@imn.htwk-leipzig.de>
CategoryLogic
Source repositoryhead: git clone git://dfa.imn.htwk-leipzig.de/srv/git/obdd/
Upload dateMon Aug 20 13:07:26 UTC 2012
Uploaded byJohannesWaldmann
Downloads349 total (36 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees