The satchmo package

[Tags:gpl, library, test]

Encoding for boolean and integral constraints into CNF-SAT. The encoder is provided as a State monad (hence the mo in satchmo). requires a backend (e.g. satchmo-minisat, satchmo-funsat)

Properties

Versions 1.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, 2.8.2, 2.9.0, 2.9.1, 2.9.2, 2.9.3, 2.9.4, 2.9.5, 2.9.6, 2.9.7, 2.9.7.1, 2.9.7.3, 2.9.9, 2.9.9.1, 2.9.9.3
Dependencies array, base, containers, mtl, process [details]
License GPL
Author Johannes Waldmann
Maintainer Johannes Waldmann
Stability Unknown
Home page http://dfa.imn.htwk-leipzig.de/satchmo/
Uploaded Wed Apr 1 09:05:18 UTC 2009 by JohannesWaldmann
Distributions NixOS:2.9.9.3
Downloads 3394 total (71 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees