ToySolver.SAT.TseitinEncoder

The Encoder type

data Encoder

newEncoder

setUsePB

encSolver

Polarity

data Polarity

negatePolarity

polarityPos

polarityNeg

polarityBoth

polarityNone

Boolean formula type

type Formula

evalFormula

Encoding of boolean formulas

addFormula

encodeConj

encodeConjWithPolarity

encodeDisj

encodeDisjWithPolarity

encodeITE

encodeITEWithPolarity

Retrieving definitions

getDefinitions