this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3include "range.mzn";
4
5%-----------------------------------------------------------------------------%
6% range
7%-----------------------------------------------------------------------------%
8array[1..3] of var int: range_avi1;
9
10constraint range(range_avi1, {1, 2, 3}, {7, 8, 9});
11
12solve satisfy;
13
14output ["range_avi1 = array1d(1..3, ", show(range_avi1), ");\n"];