The satchmo package

[Tags: gpl, library]

Encoding for boolean and integral constraints into (QBF-)CNF-SAT. The encoder is provided as a State monad (hence the mo in satchmo). This package contains functions that construct problems, to solve them, you need package satchmo-backends.

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, base (>=3 && <=4), bytestring, containers, directory, mtl, process [details]
LicenseGPL
AuthorPepe Iborra, Johannes Waldmann
MaintainerJohannes Waldmann
CategoryAlgorithms
Home pagehttp://dfa.imn.htwk-leipzig.de/satchmo/ http://github.com/pepeiborra/satchmo/
UploadedWed Sep 1 15:01:21 UTC 2010 by JohannesWaldmann
DistributionsNixOS:2.9.9.1
Downloads2903 total (29 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