Documentation

forgetVarListKB :: Set FProp -> [VarProp] -> [Set FProp] Source #

forgetVarListKB' :: Set FProp -> [VarProp] -> Heuristics -> [Set FProp] Source #

saturateKBTrace :: Set FProp -> [VarProp] -> Heuristics -> [(Set FProp, Bool)] Source #

saturateKBSizeTrace :: Set FProp -> [VarProp] -> Heuristics -> [((VarProp, Int), Bool)] Source #

satFORMULAS :: FilePath -> (Set FProp -> [VarProp] -> [VarProp]) -> IO Bool Source #

satCNF :: [Char] -> (Set FProp -> [VarProp] -> [VarProp]) -> IO Bool Source #