@hackage satchmo-backends1.9.1

driver for external satchmo backends

Categories
- Algorithms
License
LicenseRef-GPL
Maintainer
Johannes Waldmann
Links
- Homepage
- Documentation
- No source repository
Versions
- 1.9.1 Fri, 24 Jun 2011
- 1.8.2 Tue, 8 Mar 2011
- 1.8.1 Wed, 12 Jan 2011
- 1.8.0 Wed, 1 Sep 2010
- 1.4 Tue, 21 Apr 2009

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

Installation
In your cabal file:
Dependencies (0)
Dependents (0)

@hackage satchmo-backends1.9.1

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (0)