ToySolver.Text.MaxSAT

data WCNF

type WeightedClause

type Weight

Parsing .cnf/.wcnf files

parseFile

parseByteString

Generating .wcnf files

writeFile

hPutWCNF

wcnfBuilder