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