1
0
This repository has been archived on 2025-03-03. You can view files and clone it, but cannot push or open issues or pull requests.
2016-11-21 17:54:04 +01:00

20 lines
246 B
MiniZinc

layout = array2d(1..17,1..3, [
26, 17, 22,
19, 41, 46,
5, 12, 13,
31, 42, 3,
49, 30, 36,
38, 48, 52,
20, 34, 2,
9, 28, 24,
44, 11, 33,
50, 43, 16,
45, 4, 47,
29, 37, 51,
32, 8, 21,
35, 39, 14,
15, 7, 10,
27, 6, 18,
23, 40, 25
]);