Formula

data Formula a

makeFormula

makeFormula_

reduce

isSatisfied

hasUnsatisfiedClause

unitClauses

mostFrequentLiteral

example