The satchmo-examples package
examples that show how to use satchmo
Properties
| Versions | 1.3, 1.4, 1.4.1, 1.8.1 |
|---|---|
| Dependencies | array, base, containers, process, satchmo (≥1.4), satchmo-backends, satchmo-funsat |
| License | GPL |
| Author | Johannes Waldmann |
| Maintainer | Johannes Waldmann |
| Category | Algorithms |
| Home page | http://dfa.imn.htwk-leipzig.de/satchmo/ |
| Executables | QBF, VC, HC, Factor |
| Upload date | Tue Apr 21 08:36:31 UTC 2009 |
| Uploaded by | JohannesWaldmann |
| Built on | ghc-6.10 |
Downloads
- satchmo-examples-1.4.tar.gz (Cabal source package)
- package description (included in the package)