SAT.Mios.Util.DIMACS.Reader

Read a CNF file without haskell-platform

Interface

fromFile :: FilePath -> IO (Maybe ((Int, Int), [[Int]]))

read a CNF file and return: ((numbefOfVariables, numberOfClauses), [Literal])

>>> fromFile "acnf"
((3, 4), [[1, 2], [-2, 3], [-1, 2, -3], [3]]

clauseListFromFile :: FilePath -> IO [[Int]]

return clauses as [[Int]] from file

>>> clauseListFromFile "a.cnf"
[[1, 2], [-2, 3], [-1, 2, -3], [3]]