ToySolver.SAT.TseitinEncoder

The Encoder type

data Encoder

newEncoder

setUsePB

encSolver

Encoding of boolean formula

data Formula

evalFormula

addFormula

encodeConj

encodeDisj

getDefinitions