this repo has no description
dekker.one
1/***
2!Test
3solvers: [gecode]
4options:
5 all_solutions: true
6expected:
7- !Result
8 solution:
9 - !Solution
10 b: true
11 bs: [[[true, true], [true, true]], [[true, true], [true, true]]]
12---
13!Test
14solvers: [cbc, chuffed]
15expected: !Result
16 solution: !Solution
17 b: true
18 bs: [[[true, true], [true, true]], [[true, true], [true, true]]]
19***/
20
21bool: b :: add_to_output = forall([|true, true | true \/ false, not false|]);
22array[1..2,1..2,1..2] of var bool: bs :: add_to_output;
23constraint forall(bs);
24
25solve satisfy;