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.


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, 2.8.1
Dependenciesarray, base, containers, mtl, process
AuthorJohannes Waldmann
MaintainerJohannes Waldmann
Home page
UploadedTue Mar 31 20:07:54 UTC 2009 by JohannesWaldmann
Downloads857 total (63 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]




Maintainers' corner

For package maintainers and hackage trustees