The latest version of satchmo-backends is 1.9.1-0.
satchmo-backends
Version 1.8.2 revision 0 uploaded by JohannesWaldmann.
Package meta
- Synopsis
- driver for external satchmo backends
- Description
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/ )
- Author
- Johannes Waldmann
- Bug reports
- n/a
- Category
- Algorithms
- Copyright
- n/a
- Homepage
- http://dfa.imn.htwk-leipzig.de/satchmo/
- Maintainer
- Johannes Waldmann
- Package URL
- n/a
- Stability
- n/a