dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / general / mzn-implicit5.mzn
at develop 161 B view raw
1/*** 2!Test 3expected: !Result 4 solution: !Solution 5 x: [[1, 1], [1, 1]] 6***/ 7 8array[1..2, int] of var 1..1: x :: add_to_output = [|1, _|_, _|]; 9solve satisfy;