dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / nested_clause.mzn
at develop 195 B view raw
1/*** 2!Test 3expected: 4- !Result 5 solution: !Solution 6 x: 2 7 y: [false, false] 8***/ 9 10var 2..2: x; 11array[1..2] of var bool: y; 12 13constraint (1 <= x) -> (not y[1] \/ not y[2]); 14 15solve satisfy;