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