@hackage satchmo-funsat1.4

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

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

Installation
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/acme-everything