Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Write SAT data to CNF file
Interface
toCNFString :: [[Int]] -> String Source #
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"
toLatexString :: [[Int]] -> String Source #
converts [[Int]]
to a LaTeX expression