Formula
type Formula
makeFormula
isEmpty
isSatisfied
unitClauses
mostFrequentLiteral
hasUnsatisfiedClause
makeExampleFormula