Language.CNF.Parse.ParseDIMACS

A simple Parsec module for parsing CNF files in DIMACS format.

Documentation

parseCNF

Arguments

:: String

The filename. Used to report errors.

-> String

The contents of the CNF file.

-> CNF

data CNF

Constructors

CNF

Fields

numVars :: Int

numClauses :: Int

clauses :: [[Int]]

Instances

Show CNF