Folly.Clause

data Clause

givenClause

empty

deleteTautologies

resolvedClauses

showTrace