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). This package depends on minisat-haskell-bindings, see https://github.com/niklasso/minisat-haskell-bindings

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
Change logNone available
Dependenciesarray, base (==4.*), bytestring, containers, directory, minisat (>=0.1), mtl, process [details]
LicenseGPL
AuthorPepe Iborra, Johannes Waldmann, Alexander Bau
MaintainerJohannes Waldmann
CategoryLogic
Home page<https://github.com/jwaldmann/satchmo>
Source repositoryhead: git clone https://github.com/jwaldmann/satchmo
UploadedSat Feb 16 16:03:30 UTC 2013 by JohannesWaldmann
DistributionsNixOS:2.9.9.1
Downloads2178 total (147 in last 30 days)
Votes
0 []
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees