The satchmo-backends package

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.atquantor )
qube (download from http:www.star.dist.unige.it~qube )