This work is licensed under a Creative Commons Attribution 4.0 International License. | 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. |
This work is licensed under a Creative Commons Attribution 4.0 International License.