Proper-0.4.3.0: An implementation of propositional logic in Haskell

Safe HaskellSafe-Infered

Proper.CNF

Documentation

type CNF c = Set (Clause c)Source

cnf :: Ord c => [Clause c] -> CNF cSource

mergeCNFFormulas :: Ord c => [CNF c] -> CNF cSource

naiveSAT :: Ord c => CNF c -> BoolSource