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