this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3include "decreasing.mzn";
4
5%-----------------------------------------------------------------------------%
6% decreasing
7%-----------------------------------------------------------------------------%
8
9array[1..5] of var -100..100: inc_avi = [5, _, 3, _, 1];
10array[1..5] of var bool: inc_avb = [true, false, _, _, _];
11%array[1..8] of var set of 1..3: inc_avsi; % XXX :: is_output
12
13constraint decreasing(inc_avi);
14constraint decreasing(inc_avb);
15% XXX: comparisons not implemented for sets
16%constraint increasing(inc_avsi);
17
18solve satisfy;
19
20output [
21 "inc_avb = array1d(1..5, ", show(inc_avb), ");\n",
22 "inc_avi = array1d(1..5, ", show(inc_avi), ");\n"
23];