dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / general / test_array1and2d.mzn
at develop 297 B view raw
1% RUNS ON mzn20_fd 2% RUNS ON mzn-fzn_fd 3% RUNS ON mzn20_fd_linear 4% RUNS ON mzn20_mip 5array [ 1.. 4] of var 1..10: a = [1, 2, 3, 4]; 6array [11..14] of var 1..10: b = array1d(11..14, a); 7array [1..2, 3..4] of var 1..10: c = array2d(1..2, 3..4, b); 8 9solve satisfy; 10 11output ["a = ", show(a), ";\n"];