this repo has no description
dekker.one
1/***
2!Test
3solvers: [gecode, chuffed, cbc]
4expected: !Result
5 solution: !Solution
6 conjunction: [true, false, true, false, false, false, true, false, true]
7 disjunction: [false, false, true, false, false, true, true, true, true]
8 negation: [null, true, false]
9 status: SATISFIED
10***/
11
12% conjunction of var opt bool
13array [1..9] of bool: conjunction :: add_to_output = [x /\ y | x, y in [<>, false, true]];
14
15% disjunction of var opt bool
16array [1..9] of bool: disjunction :: add_to_output = [x \/ y | x, y in [<>, false, true]];
17
18% not of var opt bool
19array [1..3] of opt bool: negation:: add_to_output = [not x | x in [<>, false, true]];
20
21solve satisfy;