this repo has no description
dekker.one
1include "alldifferent.mzn";
2
3int: n;
4
5array[1..n] of var 1..n: x; % sequence of numbers
6array[1..n-1] of var 1..n-1: u; % sequence of differences
7
8constraint alldifferent(x);
9constraint alldifferent(u);
10constraint forall(i in 1..n-1)(u[i] = abs(x[i+1] - x[i]));
11
12solve :: int_search(x, first_fail, indomain_min)
13 satisfy;
14output ["x = \(x);\n"];