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 #287: the first solution violated the alldifferent
7% constraint.
8
9include "alldifferent.mzn";
10
11int: n = 2;
12array [1..n] of var 1..n: q;
13
14constraint alldifferent(q) :: domain;
15constraint q[1] != q[2] + 1;
16
17solve satisfy;
18
19output [show(q)];
20