The satchmo package
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
| 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 |
|---|---|
| Dependencies | array, base (≥3 & ≤4), bytestring, containers, directory, mtl, process |
| License | GPL |
| Author | Pepe Iborra, Johannes Waldmann |
| Maintainer | Johannes Waldmann |
| Category | Algorithms |
| Home page | http://dfa.imn.htwk-leipzig.de/satchmo/ http://github.com/pepeiborra/satchmo/ |
| Upload date | Wed Sep 1 15:01:21 UTC 2010 |
| Uploaded by | JohannesWaldmann |
| Built on | ghc-6.12 |
| Build failure | ghc-7.0 (log) |
Modules
Downloads
- satchmo-1.8.0.tar.gz (Cabal source package)
- package description (included in the package)