this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3
4% Test exists/1 with multi-dimensional arrays.
5
6bool: b = exists([|false, true | true /\false, not true|]);
7
8array[1..2,1..2,1..2] of var bool: bs;
9constraint exists(bs);
10
11constraint bs[1, 1, 1] = true;
12constraint bs[1, 1, 2] = true;
13constraint bs[2, 2, 1] = false;
14constraint bs[2, 2, 2] = false;
15
16solve satisfy;
17output [
18 "% b = ", show(b), ";\n",
19 "bs = ", show(bs), ";\n"
20];