this repo has no description
dekker.one
1/***
2!Test
3expected: !Result
4 solution: !Solution
5 x:
6 - - [1, 1]
7 - [1, 1]
8 - - [1, 1]
9 - [1, 1]
10 y:
11 - - - [1, 1]
12 - [1, 1]
13 - - [1, 1]
14 - [1, 1]
15 - - - [1, 1]
16 - [1, 1]
17 - - [1, 1]
18 - [1, 1]
19 z:
20 - - - - [1, 1]
21 - [1, 1]
22 - - [1, 1]
23 - [1, 1]
24 - - - [1, 1]
25 - [1, 1]
26 - - [1, 1]
27 - [1, 1]
28 - - - - [1, 1]
29 - [1, 1]
30 - - [1, 1]
31 - [1, 1]
32 - - - [1, 1]
33 - [1, 1]
34 - - [1, 1]
35 - [1, 1]
36***/
37
38array[int, int, int] of var 1..1: x :: add_to_output
39 = array3d(1..2, 1..2, 1..2, [1, _, _, _, _, _, _, _]);
40array[int, int, int, int] of var 1..1: y :: add_to_output
41 = array4d(1..2, 1..2, 1..2, 1..2,
42 [1, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _]);
43array[int, int, int, int, int] of var 1..1: z :: add_to_output
44 = array5d(1..2,1..2, 1..2, 1..2, 1..2,
45 [1, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _,
46 _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _]);
47solve satisfy;