this repo has no description
dekker.one
1/***
2--- !Test
3options:
4 all_solutions: true
5solvers: [gecode, chuffed]
6expected: !Result
7 solution: !SolutionSet
8 - !Solution
9 b: true
10 bs: [[[true, true], [false, false]], [[false, false], [false, false]]]
11 - !Solution
12 b: true
13 bs: [[[true, true], [false, false]], [[false, true], [false, false]]]
14 - !Solution
15 b: true
16 bs: [[[true, true], [false, false]], [[true, false], [false, false]]]
17 - !Solution
18 b: true
19 bs: [[[true, true], [false, false]], [[true, true], [false, false]]]
20 - !Solution
21 b: true
22 bs: [[[true, true], [false, true]], [[false, false], [false, false]]]
23 - !Solution
24 b: true
25 bs: [[[true, true], [false, true]], [[false, true], [false, false]]]
26 - !Solution
27 b: true
28 bs: [[[true, true], [false, true]], [[true, false], [false, false]]]
29 - !Solution
30 b: true
31 bs: [[[true, true], [false, true]], [[true, true], [false, false]]]
32 - !Solution
33 b: true
34 bs: [[[true, true], [true, false]], [[false, false], [false, false]]]
35 - !Solution
36 b: true
37 bs: [[[true, true], [true, false]], [[false, true], [false, false]]]
38 - !Solution
39 b: true
40 bs: [[[true, true], [true, false]], [[true, false], [false, false]]]
41 - !Solution
42 b: true
43 bs: [[[true, true], [true, false]], [[true, true], [false, false]]]
44 - !Solution
45 b: true
46 bs: [[[true, true], [true, true]], [[false, false], [false, false]]]
47 - !Solution
48 b: true
49 bs: [[[true, true], [true, true]], [[false, true], [false, false]]]
50 - !Solution
51 b: true
52 bs: [[[true, true], [true, true]], [[true, false], [false, false]]]
53 - !Solution
54 b: true
55 bs: [[[true, true], [true, true]], [[true, true], [false, false]]]
56--- !Test
57solvers: [cbc]
58expected: !Result
59 solution: !Solution
60 b: true
61 bs: [[[true, true], [false, false]], [[false, false], [false, false]]]
62***/
63
64bool: b :: add_to_output = exists([|false, true | true /\false, not true|]);
65
66array[1..2,1..2,1..2] of var bool: bs :: add_to_output;
67constraint exists(bs);
68
69constraint bs[1, 1, 1] = true;
70constraint bs[1, 1, 2] = true;
71constraint bs[2, 2, 1] = false;
72constraint bs[2, 2, 2] = false;