The satchmo-minisat package

[Tags: gpl, library]

this driver calls minisat (download from http:minisat.se/) to solve CNF-SAT constraints produced by satchmo


Properties

Version1.3
Dependenciesbase, containers, process, satchmo
LicenseGPL
AuthorJohannes Waldmann
MaintainerJohannes Waldmann
Home pagehttp://dfa.imn.htwk-leipzig.de/satchmo/
Upload dateWed Apr 1 09:07:59 UTC 2009
Uploaded byJohannesWaldmann
Downloads76 total (8 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees