ToySolver.Text.MaxSAT

data WCNF

type WeightedClause

type Weight

Parsing .cnf/.wcnf files

parseFile

parseString

parseByteString