mios-1.6.0: A Minisat-based CDCL SAT solver in Haskell
SAT.Mios.Util.DIMACS.MinisatReader
Contents
Description
Read an output file of minisat
Synopsis
fromMinisatOutput :: FilePath -> IO (Maybe ((Int, Int), [Int])) Source #
read a minisat output: ((numbefOfVariables, 0), [Literal])
>>> fromFile "result" ((3, 0), [1, -2, 3])
>>>
fromFile "result"
clauseListFromMinisatOutput :: FilePath -> IO [Int] Source #
return clauses as [[Int]] from file
file
>>> clauseListFromMinisatOutput "result" [1,-2,3]
clauseListFromMinisatOutput "result"