ToySolver.Text.GCNF

data GCNF

type GroupIndex

type GClause

Parsing .gcnf files

parseString

parseFile