SAT-canonical-0.1.0.0

Safe HaskellSafe
LanguageHaskell2010

Preprocessing

Synopsis

Documentation

lit :: String -> FProp Source #

clause :: [[Char]] -> FProp Source #

dimacs :: FilePath -> IO (Set FProp, [VarProp]) Source #

(dimacs f) is the pair (ps,vs) where ps is the set of formulas wich corresponds to the formula in DIMACS format writed in the file f and vs is the list of variables wich occurs in any propositional formula.

formulas :: FilePath -> IO (Set FProp, [VarProp]) Source #

(formulas f) is the pair (ps,vs) where ps is the set of formulas wich corresponds to the formula in Prover9 format writed in the file f and vs is the list of variables wich occurs in any propositional formula.