Jakob Nordstrom

Just to add that when parsing graphs with CNFgen it would be nice to have a -strict option for which I can get a warning if 1,2,3,... is not a...

Just to add that DLO formulas seem to have been provided by Jan Elffers.