@hackage sat1.0

CNF SATisfier

Categories
License
LicenseRef-GPL
Maintainer
andrii.z@gmail.com
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 1.1.1 Thu, 22 Nov 2007
- 1.1 Thu, 22 Nov 2007
- 1.0 Sun, 28 Oct 2007

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

CNF(Clausal Normal Form) SATisfiability Solver and Generator