this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 queens: [4, 6, 1, 5, 2, 8, 3, 7]
7- !Result
8 solution: !Solution
9 queens: [4, 6, 8, 3, 1, 7, 5, 2]
10- !Result
11 solution: !Solution
12 queens: [8, 4, 1, 3, 6, 2, 7, 5]
13- !Result
14 solution: !Solution
15 queens: [2, 5, 7, 4, 1, 8, 6, 3]
16***/
17
18% Regression test for bug #269: the assignment to the annotation
19% variable "var_selection" (marked with ** below) was being emitted
20% in the .ozn file leading to an abort in solns2out.
21
22include "globals.mzn";
23int: n;
24array[1..n] of var 1..n: queens;
25
26ann: var_selection;
27solve :: int_search(
28 queens,
29 var_selection,
30 indomain_median,
31 complete)
32 satisfy;
33
34constraint all_different(queens);
35constraint all_different([queens[i]+i | i in 1..n]);
36constraint all_different([queens[i]-i | i in 1..n]);
37output ["Ok\n"];
38
39n = 8;
40var_selection = first_fail; % (**)