SAT.Mios.Util.DIMACS.MinisatReader

Read an output file of minisat

Interface

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

read a minisat output: ((numbefOfVariables, 0), [Literal])

>>> fromFile "result"
((3, 0), [1, -2, 3])

clauseListFromMinisatOutput :: FilePath -> IO [Int]

return clauses as [[Int]] from file

>>> clauseListFromMinisatOutput "result"
[1,-2,3]