dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / general / mzn-implicit6.mzn
at develop 179 B view raw
1 2array[int, int] of var 1..1: x = array2d(1..2, 3..4, [_, _, _, _]); 3set of int: ix = index_set_2of2(x); 4solve satisfy; 5output [ 6 "x = ", show(x), "\n", 7 "ix = ", show(ix) 8];