this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 q: [1, 2]
7***/
8
9% Regression test for bug #287: the first solution violated the alldifferent
10% constraint.
11
12include "alldifferent.mzn";
13
14int: n = 2;
15array [1..n] of var 1..n: q;
16
17constraint alldifferent(q) :: domain;
18constraint q[1] != q[2] + 1;
19
20solve satisfy;
21
22output [show(q)];
23