@hackage satchmo-funsat1.3

funsat driver as backend for satchmo

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

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

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