-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | DIMACS CNF parser library
--   
--   A DIMACS CNF parser library, implemented with Parsec.
@package parse-dimacs
@version 1.0.1


-- | A simple Parsec module for parsing CNF files in DIMACS format.
module Language.CNF.Parse.ParseDIMACS
parseCNF :: String -> String -> CNF
data CNF
CNF :: Int -> Int -> [[Int]] -> CNF
numVars :: CNF -> Int
numClauses :: CNF -> Int
clauses :: CNF -> [[Int]]