@hackage satchmo-funsat1.4

funsat driver as backend for satchmo

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

Installation
In your cabal file:
Dependencies (6)
- array
- base
- containers
- funsat
- parse-dimacs
- satchmo >=1.4
Dependents (2)
@hackage/satchmo-examples, @hackage/acme-everything

this driver calls funsat (download from hackage) to solve CNF-SAT constraints produced by satchmo