The latest version of satchmo is 2.9.9.4-0.
satchmo
Version 1.8.1 revision 0 uploaded by JohannesWaldmann.
Package meta
- Synopsis
- SAT encoding monad
- Description
Encoding for boolean and integral constraints into (QBF-)CNF-SAT. The encoder is provided as a State monad (hence the "mo" in "satchmo"). This package contains functions that construct problems, to solve them, you need package satchmo-backends.
- Author
- Pepe Iborra, Johannes Waldmann
- Bug reports
- n/a
- Category
- Algorithms
- Copyright
- n/a
- Homepage
- http://dfa.imn.htwk-leipzig.de/satchmo/ http://github.com/pepeiborra/satchmo/
- Maintainer
- Johannes Waldmann
- Package URL
- n/a
- Stability
- n/a