The satchmo package

[Tags: gpl, library]

Encoding for boolean and integral constraints into CNF-SAT. The encoder is provided as a State monad (hence the mo in satchmo). Requires SAT solver minisat installed.


Properties

Versions1.0, 1.1, 1.1.1, 1.2, 1.3, 1.4, 1.8.0, 1.8.1, 1.9.1, 2.6.0
Dependenciesarray, base, containers, mtl, process
LicenseGPL
AuthorJohannes Waldmann
MaintainerJohannes Waldmann
CategoryTesting
Home pagehttp://dfa.imn.htwk-leipzig.de/satchmo/
Upload dateTue Mar 31 10:07:14 UTC 2009
Uploaded byJohannesWaldmann
Downloads532 total (58 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees