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