this repo has no description
dekker.one
1/***
2!Test
3solvers: [gecode, chuffed]
4options:
5 all_solutions: true
6expected: !Result
7 status: ALL_SOLUTIONS
8 solution: !SolutionSet
9 - !Solution
10 p1: 1
11 p2: 1
12 p3: 0
13 p4: 0
14 - !Solution
15 p1: 1
16 p2: 1
17 p3: 0
18 p4: 1
19 - !Solution
20 p1: 1
21 p2: 1
22 p3: 1
23 p4: 1
24***/
25
26var 0..1: p1;
27var 0..1: p2;
28var 0..1: p3;
29var 0..1: p4;
30
31constraint (not ((p1==1 /\ p2==0) \/ (p3==1 /\ p4==0)));
32constraint p1 = 1;
33solve satisfy;