The satchmo-funsat package
this driver calls funsat (download from hackage) to solve CNF-SAT constraints produced by satchmo
Properties
| Versions | 1.3, 1.4 |
|---|---|
| Dependencies | array, base, containers, funsat, parse-dimacs, satchmo (≥1.4) |
| License | GPL |
| Author | Johannes Waldmann |
| Maintainer | Johannes Waldmann |
| Category | Algorithms |
| Home page | http://dfa.imn.htwk-leipzig.de/satchmo/ |
| Upload date | Tue Apr 21 20:55:23 UTC 2009 |
| Uploaded by | JohannesWaldmann |
| Built on | ghc-6.10, ghc-6.12 |
| Build failure | ghc-7.0 (log), ghc-7.4 (log) |
Modules
- Satchmo
- Solver
Downloads
- satchmo-funsat-1.4.tar.gz (Cabal source package)
- package description (included in the package)