ToySolver.Text.MaxSAT

References:

• http://maxsat.ia.udl.cat/requirements/

Documentation

data WCNF

Constructors

WCNF

Fields

• numVars :: !Int
• numClauses :: !Int
• topCost :: !Weight
• clauses :: [WeightedClause]

type WeightedClause = (Weight, Clause)

type Weight = Integer

Weigths must be greater than or equal to 1, and smaller than 2^63.

Parsing .cnf/.wcnf files

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

parseString :: String -> Either String WCNF

parseByteString :: ByteString -> Either String WCNF