ToySolver.Text.CNF

Contents

• Parsing .cnf files
• Generating .cnf files

Description

Synopsis

• data CNF = CNF {
  • numVars :: !Int
  • numClauses :: !Int
  • clauses :: [Clause]
  }
• parseFile :: FilePath -> IO (Either String CNF)
• parseByteString :: ByteString -> Either String CNF
• writeFile :: FilePath -> CNF -> IO ()
• hPutCNF :: Handle -> CNF -> IO ()
• cnfBuilder :: CNF -> Builder

Documentation

Parsing .cnf files

Generating .cnf files