This work is licensed under a Creative Commons Attribution 4.0 International License. | File | Type | Notes |
|---|---|---|
| SchursLemma.essence | Essence | |
| schur.mzn | MiniZinc | |
| SchursLemma.py | Numberjack | |
| SchurrLemma.py | PyCSP3 | |
| sicstus_csplib015.pl | SICStus Prolog |
This work is licensed under a Creative Commons Attribution 4.0 International License.