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
5array[1..5] of var int: x = [1,3,5,7,9];
6array[4..8] of var int: y = array1d(4..8, [1,3,5,8,9]);
7
8constraint
9 let { int: lx = min(index_set(x)),
10 int: ux = max(index_set(x)),
11 int: ly = min(index_set(y)),
12 int: uy = max(index_set(y)),
13 int: size = max(ux - lx, uy - ly),
14 array[0..size+1] of var bool: b }
15 in
16 b[size+1] = (ux - lx < uy - ly) /\
17 forall (i in 0..size) (
18 b[i] = ((x[lx+i] < y[ly+i])
19 \/ ((x[lx+i] == y[ly+i]) /\ b[i+1]))
20 ) /\ b[0];
21solve satisfy;
22output [
23 "x = ", show(x), ";\n",
24 "y = ", show(y), ";\n"
25];