@hackage satchmo1.8.0

SAT encoding monad

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.