SAT.Util.CNFIO.Writer

Write SAT data to CNF file

Interface

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

Write the CNF to file f, using toCNFString

toCNFString :: [[Int]] -> String

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

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

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

>>> toCNFString [[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