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

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, 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
Change logNone available
Dependenciesarray, async, base (==4.*), bytestring, containers, deepseq, directory, hashable, lens, memoize, minisat (>=0.1), mtl, process, transformers [details]
LicenseGPL
AuthorPepe Iborra, Johannes Waldmann, Alexander Bau
MaintainerJohannes Waldmann
CategoryLogic
Home pagehttps://github.com/jwaldmann/satchmo
Source repositoryhead: git clone https://github.com/jwaldmann/satchmo
UploadedThu Apr 28 21:35:14 UTC 2016 by JohannesWaldmann
DistributionsNixOS:2.9.9.3
Downloads2928 total (51 in last 30 days)
Votes
0 []
StatusDocs available [build log]
Last success reported on 2016-04-28 [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees