satchmo-minisat: minisat driver as backend for satchmo
this driver calls minisat (download from http:minisat.se/) to solve CNF-SAT constraints produced by satchmo
| Version | 1.3 |
|---|---|
| Dependencies | base, containers, process, satchmo |
| License | GPL |
| Author | Johannes Waldmann |
| Maintainer | Johannes Waldmann |
| Category | |
| Home page | http://dfa.imn.htwk-leipzig.de/satchmo/ |
| Upload date | Wed Apr 1 09:07:59 UTC 2009 |
| Uploaded by | JohannesWaldmann |
| Built on | ghc-6.10, ghc-6.12 |
| Distributions | Arch: 1.3 |
Modules
- Satchmo
- Solver
Downloads
- satchmo-minisat-1.3.tar.gz (Cabal source package)
- package description (included in the package)