dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / general / test_negated_or.mzn
at develop 279 B view raw
1/*** 2!Test 3solvers: [gecode, chuffed] 4options: 5 all_solutions: true 6expected: !Result 7 status: ALL_SOLUTIONS 8 solution: !SolutionSet 9 - !Solution 10 x: false 11 y: false 12 z: false 13***/ 14 15var bool: x; 16var bool: y; 17var bool: z; 18 19constraint not(x \/ y \/ z); 20 21solve satisfy;