File Type Notes
10-3.dzn dzn
5-3.dzn dzn
7-3.dzn dzn
SchursLemma-essence.zip Essence Some instances files in Essence format.