File Type Notes
10-3.dzn MiniZinc
5-3.dzn MiniZinc
7-3.dzn MiniZinc
SchursLemma-essence.zip Essence

Some instances files in Essence format.