@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

Installation
In your cabal file:
Dependencies (7)
- array
- base >=4 && <5
- bytestring
- containers
- process
- satchmo >=1.8
Dependents (2)
@hackage/satchmo-examples, @hackage/acme-everything

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

@hackage satchmo-backends1.9.1

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (7)

Dependents (2)