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