SAT.Mios.Util.DIMACS.Writer

Write SAT data to DIMACS file

Interface

toFile :: FilePath -> [[Int]] -> IO ()

Write the DIMACS to file f, using toDIMACSString

toDIMACSString :: [[Int]] -> String

Convert [Clause] to String, where Clause is [Int]

>>> toDIMACSString []
"p cnf 0 0\n"

>>> toDIMACSString [[-1, 2], [-3, -4]]
"p cnf 4 2\n-1 2 0\n-3 -4 0\n"

>>> toDIMACSString [[1], [-2], [-3, -4], [1,2,3,4]]
"p cnf 4 4\n1 0\n-2 0\n-3 -4 0\n1 2 3 4 0\n"

toString :: [[Int]] -> String -> String -> String

converts [[Int]] to a String

toLatexString :: [[Int]] -> String

converts [[Int]] to a LaTeX expression