this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !SolutionSet
6 - !Solution
7 x:
8 - true
9 - null
10 - null
11 - !Solution
12 x:
13 - true
14 - false
15 - null
16 - !Solution
17 x:
18 - true
19 - null
20 - false
21 - !Solution
22 x: [true, false, false]
23 - !Solution
24 x:
25 - null
26 - true
27 - null
28 - !Solution
29 x:
30 - false
31 - true
32 - null
33 - !Solution
34 x:
35 - null
36 - true
37 - false
38 - !Solution
39 x: [false, true, false]
40 - !Solution
41 x:
42 - true
43 - true
44 - null
45 - !Solution
46 x: [true, true, false]
47 - !Solution
48 x:
49 - null
50 - null
51 - true
52 - !Solution
53 x:
54 - false
55 - null
56 - true
57 - !Solution
58 x:
59 - null
60 - false
61 - true
62 - !Solution
63 x: [false, false, true]
64 - !Solution
65 x:
66 - true
67 - null
68 - true
69 - !Solution
70 x: [true, false, true]
71 - !Solution
72 x:
73 - null
74 - true
75 - true
76 - !Solution
77 x: [false, true, true]
78 - !Solution
79 x: [true, true, true]
80 status: ALL_SOLUTIONS
81options:
82 all_solutions: true
83solvers: [gecode, chuffed]
84***/
85
86array [1..3] of var opt bool: x;
87
88constraint exists (x);