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 #131.
7
8var 1..3: x;
9var 1..3: y;
10var bool: b;
11
12predicate foo(array[int] of var int: x);
13
14predicate foo_reif(array[int] of var int: x, var bool: r) =
15 r <-> forall(i,j in index_set(x) where i < j) ( x[i] != x[j] );
16
17constraint foo([x,y]) <-> b;
18
19solve satisfy;
20
21output [
22 "b = ", show(b), ";\n",
23 "x = ", show(x), ";\n",
24 "y = ", show(y), ";\n"
25];