The satchmo-funsat package

[Tags: gpl, library]

this driver calls funsat (download from hackage) to solve CNF-SAT constraints produced by satchmo


Properties

Versions1.3, 1.4
Dependenciesarray, base, containers, funsat, parse-dimacs, satchmo
LicenseGPL
AuthorJohannes Waldmann
MaintainerJohannes Waldmann
Home pagehttp://dfa.imn.htwk-leipzig.de/satchmo/
Upload dateWed Apr 1 09:08:19 UTC 2009
Uploaded byJohannesWaldmann
Downloads100 total (11 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees