@hackage satchmo-minisat1.3

minisat driver as backend for satchmo

Categories
License
LicenseRef-GPL
Maintainer
Johannes Waldmann
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 1.3 Wed, 1 Apr 2009

Installation
In your cabal file:
Dependencies (4)
Dependents (2)
@hackage/satchmo-examples, @hackage/acme-everything

this driver calls minisat (download from http://minisat.se/) to solve CNF-SAT constraints produced by satchmo