This work is licensed under a Creative Commons Attribution 4.0 International License. | File | Type | Notes |
|---|---|---|
| SchursLemma.essence | Essence | |
| schur.mzn | MiniZinc | |
| schur_lemma_problem.py | NuCS | |
| SchursLemma.py | Numberjack | |
| SchurrLemma.py | PyCSP3 | |
| sicstus_csplib015.pl | SICStus Prolog | |
| schur_lemma_swi_backtracking.pl | SWI-Prolog |
SWI-Prolog backtracking model |
| schur_lemma_swi_clp.pl | SWI-Prolog |
SWI-Prolog CLP(FD) model |
This work is licensed under a Creative Commons Attribution 4.0 International License.