@hackage satchmo1.0

SAT encoding monad

Categories
- Testing
- Algorithms
License
LicenseRef-GPL
Maintainer
Johannes Waldmann
Links
- Homepage
- Documentation
- No source repository
Versions
- 2.9.9.4 Tue, 30 Aug 2022
- 2.9.9.3 Thu, 28 Apr 2016
- 2.9.9.1 Wed, 19 Aug 2015
- 2.9.9 Fri, 17 Jul 2015
- 2.9.7.3 Tue, 7 Jul 2015
- 2.9.7.1 Fri, 20 Mar 2015

Installation
In your cabal file:
Dependencies (5)
Dependents (6)
@hackage/satchmo-examples, @hackage/satchmo-toysat, @hackage/acme-everything, @hackage/satchmo-minisat, @hackage/satchmo-backends, @hackage/satchmo-funsat

Encoding for boolean and integral constraints into CNF-SAT. The encoder is provided as a State monad (hence the "mo" in "satchmo"). Requires SAT solver minisat installed.

@hackage satchmo1.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (5)

Dependents (6)