software/minizinc/tests/spec/unit/optional/test-opt-bool-3.mzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / minizinc / tests / spec / unit / optional / test-opt-bool-3.mzn

at develop 387 B view raw

 1/***
 2!Test
 3solvers: [gecode, chuffed]
 4options:
 5  all_solutions: true
 6expected: !Result
 7  solution: !SolutionSet
 8  - !Solution
 9    x: true
10    y: true
11  - !Solution
12    x: true
13    y: null
14  - !Solution
15    x: null
16    y: true
17  - !Solution
18    x: false
19    y: true
20  - !Solution
21    x: true
22    y: false
23  status: ALL_SOLUTIONS
24***/
25
26var opt bool: x;
27var opt bool: y;
28
29constraint x \/ y;