this repo has no description
dekker.one
1/***
2!Test
3solvers: [gecode, chuffed] # Too slow on cbc
4expected:
5- !Result
6 solution: !Solution
7 a:
8 - [16, 1, 15, 2]
9 - [5, 8, 10, 11]
10 - [4, 13, 3, 14]
11 - [9, 12, 6, 7]
12- !Result
13 solution: !Solution
14 a:
15 - [12, 1, 14, 7]
16 - [15, 4, 9, 6]
17 - [2, 13, 8, 11]
18 - [5, 16, 3, 10]
19- !Result
20 solution: !Solution
21 a:
22 - [10, 5, 11, 8]
23 - [6, 9, 7, 12]
24 - [3, 4, 14, 13]
25 - [15, 16, 2, 1]
26- !Result
27 solution: !Solution
28 a:
29 - [10, 11, 5, 8]
30 - [6, 7, 9, 12]
31 - [3, 2, 16, 13]
32 - [15, 14, 4, 1]
33- !Result
34 solution: !Solution
35 a:
36 - [16, 2, 9, 7]
37 - [3, 13, 6, 12]
38 - [5, 11, 4, 14]
39 - [10, 8, 15, 1]
40- !Result
41 solution: !Solution
42 a:
43 - [8, 11, 6, 9]
44 - [13, 7, 10, 4]
45 - [12, 14, 3, 5]
46 - [1, 2, 15, 16]
47***/
48
49include "magicsq.mzn.model";
50
51n = 4;