ToySolver.Text.GCNF

data GCNF

type GroupIndex

type GClause

Parsing .gcnf files

parseByteString

parseFile

Generating .gcnf files

writeFile

hPutGCNF

gcnfBuilder