this repo has no description
dekker.one
1/***
2--- !Test
3solvers: [gecode]
4options:
5 all_solutions: true
6expected: !Result
7 status: ALL_SOLUTIONS
8 solution:
9 - !Solution
10 x: !!set {1}
11 b: true
12--- !Test
13solvers: [chuffed]
14expected: !Result
15 status: SATISFIED
16 solution: !Solution
17 x: !!set {1}
18 b: true
19***/
20
21var set of 1..1: x;
22constraint 1 in x;
23
24var bool: b;
25constraint b = exists([true | s in x]);
26
27solve satisfy;