Name: satchmo-backends
Version: 1.4
License: GPL
License-file: gpl-2.0.txt
Author: Johannes Waldmann
Maintainer: Johannes Waldmann
Homepage: http://dfa.imn.htwk-leipzig.de/satchmo/
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/ )
Build-depends: satchmo, process, base, containers
Exposed-modules:
Satchmo.Solver.Minisat
Satchmo.Solver.Quantor
Satchmo.Solver.Qube
hs-source-dirs: .
extensions:
build-type: Simple