dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / general / test_let_var_array.mzn
at develop 258 B view raw
1/*** 2!Test 3expected: 4- !Result 5 status: SATISFIED 6 solution: !Solution 7 x: 1 8- !Result 9 status: SATISFIED 10 solution: !Solution 11 x: 10 12***/ 13 14var int: x :: add_to_output = 15 let { 16 array [1..3] of var 1..10: a = [1, _, 3] 17 } 18 in a[2]; 19solve satisfy;