http://gsd.uwaterloo.ca:8888/question/222/clafer-regression
http://gsd.uwaterloo.ca:8888/question/222/clafer-regression

juodaspaulius/bclafer_old,gsdlab/clafer,juodaspaulius/clafer,juodaspaulius/clafer,juodaspaulius/clafer-old-customBNFC,gsdlab/clafer