this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3% RUNS ON mzn20_fd_linear
4% RUNS ON mzn20_mip
5
6% Regression test for bug #269: the assignment to the annotation
7% variable "var_selection" (marked with ** below) was being emitted
8% in the .ozn file leading to an abort in solns2out.
9
10include "globals.mzn";
11int: n;
12array[1..n] of var 1..n: queens;
13
14ann: var_selection;
15solve :: int_search(
16 queens,
17 var_selection,
18 indomain_median,
19 complete)
20 satisfy;
21
22constraint all_different(queens);
23constraint all_different([queens[i]+i | i in 1..n]);
24constraint all_different([queens[i]-i | i in 1..n]);
25output ["Ok\n"];
26
27n = 8;
28var_selection = first_fail; % (**)