This work is licensed under a Creative Commons Attribution 4.0 International License. | File | Type | Notes |
|---|---|---|
| QuasiGroupCompletionOccurrence.eprime | EssencePrime |
Quasigroup Completion Model using Occurrence Constraints |
| QuasiGroupCompletion.eprime | EssencePrime | |
| QuasiGroupCompletionOccurrence.mzn | MiniZinc |
Quasigroup Completion Model using Occurrence Constraints |
| QuasigroupCompletion.mzn | MiniZinc | |
| quasigroup_completion_swi_clp.pl | SWI-Prolog |
SWI-Prolog CLP(FD) model |
| quasigroup_completion_swi_backtracking.pl | SWI-Prolog |
SWI-Prolog backtracking model |
This work is licensed under a Creative Commons Attribution 4.0 International License.