dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / optional / test-opt-bool-2.mzn
at develop 347 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: null 19 y: null 20 status: ALL_SOLUTIONS 21***/ 22 23var opt bool: x; 24var opt bool: y; 25 26constraint x /\ y;