ToySolver.Text.GCNF

References:

• http://www.satcompetition.org/2011/rules.pdf

Documentation

data GCNF

Constructors

GCNF

Fields

• numVars :: !Int
• numClauses :: !Int
• lastGroupIndex :: !GroupIndex
• clauses :: [GClause]

type GroupIndex = Int

type GClause = (GroupIndex, Clause)

Parsing .gcnf files

parseString :: String -> Either String GCNF

parseFile :: FilePath -> IO (Either String GCNF)