ToySolver.Text.MaxSAT

Contents

• Parsing .cnf/.wcnf files
• Generating .wcnf files

Description

Synopsis

• data WCNF = WCNF {
  • numVars :: !Int
  • numClauses :: !Int
  • topCost :: !Weight
  • clauses :: [WeightedClause]
  }
• type WeightedClause = (Weight, Clause)
• type Weight = Integer
• parseFile :: FilePath -> IO (Either String WCNF)
• parseByteString :: ByteString -> Either String WCNF
• writeFile :: FilePath -> WCNF -> IO ()
• hPutWCNF :: Handle -> WCNF -> IO ()
• wcnfBuilder :: WCNF -> Builder

Documentation

Parsing .cnf/.wcnf files

Generating .wcnf files