@hackage / satchmo-backends

driver for external satchmo backends

Latest1.9.1

About

Metadata

  • Last updated , by JohannesWaldmann
  • License LicenseRef-GPL
  • Categories Algorithms

  • Maintained by: Johannes Waldmann

  • Lottery factor: 0

Links

Installation

Readme

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/ )