this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3include "table.mzn";
4
5array[1..10,1..3] of int: t;
6
7t = [| 1,1,1
8 | 1,2,3
9 | 2,1,3
10 | 4,1,3
11 | 2,3,4
12 | 6,5,1
13 | 1,3,3
14 | 2,5,2
15 | 1,2,1
16 | 3,4,4 |];
17
18var 1..10: x;
19var 1..10: y;
20var 1..10: z;
21
22constraint table([x,y,z], t);
23
24constraint x != y /\ z < 3;
25
26solve satisfy;
27
28output [
29 "x = ", show(x), ";\n",
30 "y = ", show(y), ";\n",
31 "z = ", show(z), ";\n"
32];