Ersatz.Internal.Formula
data Clause
clauseLiterals
fromLiteral
data Formula
formulaEmpty
formulaLiteral
fromClause
formulaNot
formulaAnd
formulaOr
formulaXor
formulaMux
formulaFAS
formulaFAC