Formula
data Formula a
makeFormula
makeFormula_
reduce
isSatisfied
hasUnsatisfiedClause
unitClauses
mostFrequentLiteral
example