dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / regression / test_bug65.mzn
at develop 192 B view raw
1include "globals.mzn"; 2 3function array[int] of $T: mrow(array[int, int] of $T: x, int: r) = 4 [x[r,i] | i in index_set_2of2(x)]; 5 6constraint all_different(mrow([|1,2|2,3|],1)); 7 8solve satisfy;