Documentation

dPLL :: FilePath -> IO Bool Source #

dpll :: Heuristic -> KB -> Bool Source #

dpll' :: Foldable t => t [Literal] -> [Literal] -> Heuristic -> Bool Source #

dpllAux1 :: (Num a, Eq a, Foldable t) => t a -> [[a]] -> [[a]] Source #

dpllAux2 :: (Eq a, Foldable t2, Foldable t1) => t1 a -> [t2 a] -> [t2 a] Source #

partitionL :: (Eq a, Foldable t2, Foldable t1) => t1 (t2 a) -> a -> ([t2 a], [t2 a]) Source #

literalsKB :: KB -> Set Literal Source #

literals :: Clause -> Set Literal -> Set Literal Source #

varsKB :: KB -> Set Variable Source #

vars :: Clause -> Set Variable -> Set Variable Source #