Proper.CNF

Documentation

type CNF c = Set (Clause c)

type SatisfyingAssignment l = Map l Bool

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

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

naiveSAT :: Ord c => CNF c -> Maybe (SatisfyingAssignment c)

naiveSATBool :: Ord c => CNF c -> Bool