this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !SolutionSet
6 - !Solution
7 x:
8 - null
9 - null
10 - null
11 - !Solution
12 x:
13 - true
14 - null
15 - null
16 - !Solution
17 x:
18 - null
19 - true
20 - null
21 - !Solution
22 x:
23 - true
24 - true
25 - null
26 - !Solution
27 x:
28 - null
29 - null
30 - true
31 - !Solution
32 x:
33 - true
34 - null
35 - true
36 - !Solution
37 x:
38 - null
39 - true
40 - true
41 - !Solution
42 x: [true, true, true]
43 status: ALL_SOLUTIONS
44options:
45 all_solutions: true
46solvers: [gecode, chuffed]
47***/
48
49array [1..3] of var opt bool: x;
50
51constraint forall (x);