this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 bs: [false, true, false, true]
7- !Result
8 solution: !Solution
9 bs: [true, false, true, false]
10***/
11
12function array[int] of var bool: func() =
13 let {
14 array[1..2] of var bool: x;
15 } in x;
16
17array[1..2] of var bool: as;
18array[1..4] of var bool: bs ::add_to_output = [ a \/ x | a in as, x in func() ];
19
20constraint bs[1] != bs[2];
21constraint bs[2] != bs[3];
22constraint bs[3] != bs[4];