@hackage satchmo-backends1.9.1
driver for external satchmo backends
Categories
License
LicenseRef-GPL
Maintainer
Johannes Waldmann
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
Installation
Dependencies (7)
- array
- base >=4 && <5
- bytestring
- containers
- process
- satchmo >=1.8 Show all…
Dependents (2)
@hackage/satchmo-examples, @hackage/acme-everything
Calls external solvers for (QBF-)CNF-SAT constraints produced by satchmo. These solvers must be installed separately. Note: the author and license of this package has no correlation with the authors and licenses of the individual solvers. minisat (download from http://minisat.se/ ) quantor (download from http://fmv.jku.at/quantor/ ) qube (download from http://www.star.dist.unige.it/~qube/ )