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% A regression test for G12 bug #85.
6%
7include "all_different.mzn";
8
9int: m = 3;
10int: n = m*m;
11
12array [1..m] of var 0..n: mark = [0, 1, 3];
13
14array[1..(m*(m-1)) div 2] of var 0..n: differences =
15 [ mark[j] - mark[i] | i in 1..m, j in i+1..m];
16
17constraint mark[1] = 0;
18
19constraint forall ( i in 1..m-2 ) ( mark[i] < mark[i+1] );
20
21constraint all_different(differences);
22
23constraint mark[2] - mark[1] < mark[m] - mark[m-1];
24
25solve minimize mark[m];
26
27output ["% golomb ", show(mark), "\n"];