Folly-0.1.5.1: A first order logic library in Haskell
Folly.Clause
data Clause Source
Instances
givenClause :: Set Formula -> Clause Source
empty :: Clause Source
deleteTautologies :: Set Clause -> Set Clause Source
resolvedClauses :: Clause -> Clause -> Set Clause Source
showTrace :: Clause -> [Char] Source