this repo has no description
dekker.one
1/***
2!Test
3expected: !Result
4 solution: !Solution
5 arr2d: [[A,B],[C,D]]
6 arr3d: [[[E,F],[G,H]],[[I,J],[K,L]]]
7***/
8include "strictly_increasing.mzn";
9
10enum FOUR = {A,B,C,D};
11array[1..2,1..2] of var FOUR: arr2d;
12constraint strictly_increasing(arr2d);
13
14enum EIGHT = {E,F,G,H,I,J,K,L};
15array[1..2,1..2,1..2] of var EIGHT: arr3d;
16constraint strictly_increasing(arr3d);