Formula

type Formula

makeFormula

isEmpty

isSatisfied

unitClauses

mostFrequentLiteral

hasUnsatisfiedClause

makeExampleFormula