Ersatz.Internal.Formula

Clauses

data Clause

clauseLiterals

fromLiteral

Formulas

data Formula

formulaEmpty

formulaLiteral

fromClause

formulaNot

formulaAnd

formulaOr

formulaXor

formulaMux

formulaFAS

formulaFAC