ToySolver.Text.CNF

data CNF

Parsing .cnf files

parseFile

parseByteString

Generating .cnf files

writeFile

hPutCNF

cnfBuilder