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).

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, async, base (==4.*), bytestring, containers, deepseq, directory, hashable, lens, memoize, minisat (>=0.1), mtl, process, transformers [details]
License GPL
Author Pepe Iborra, Johannes Waldmann, Alexander Bau
Maintainer Johannes Waldmann
Stability Unknown
Category Logic
Home page https://github.com/jwaldmann/satchmo
Source repository head: git clone https://github.com/jwaldmann/satchmo
Uploaded Thu Apr 28 21:35:14 UTC 2016 by JohannesWaldmann
Distributions
Downloads 2966 total (66 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2016-04-28 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees