dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / optional / test-opt-bool-4.mzn
at develop 334 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: false 11 - !Solution 12 x: false 13 y: true 14 - !Solution 15 x: null 16 y: null 17 status: ALL_SOLUTIONS 18***/ 19 20var opt bool: x :: add_to_output; 21var opt bool: y :: add_to_output = not x;