this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3
4% At for val\e_precede_ch variables.
5
6include "value_precede_chain.mzn";
7
8array[1..3] of var 1..4: x;
9
10constraint value_precede_chain([3, 2, 1], [3, 2, 1]);
11constraint value_precede_chain([5, 3, 2], x);
12solve satisfy;
13output ["x = array1d(1..3, ", show(x), ");\n"];