driver for external satchmo backends

Latest on Hackage:1.9.1

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow to host generated Haddocks.

GPL licensed and maintained by Johannes Waldmann

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 ) quantor (download from ) qube (download from )

Depends on 7 packages:
Used by 1 package:
comments powered byDisqus