parse-dimacs-1.0: DIMACS CNF parser library

Language.CNF.Parse.ParseDIMACS

Description

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

Documentation

parseCNFSource

Arguments

:: String

The filename. Used to report errors.

-> String

The contents of the CNF file.

-> CNF 

data CNF Source

Constructors

CNF 

Fields

numVars :: Int
 
numClauses :: Int
 
clauses :: [[Integer]]