dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / test_bug65.mzn
at develop 247 B view raw
1/*** 2!Test 3expected: !Result 4 status: SATISFIED 5***/ 6 7include "globals.mzn"; 8 9function array[int] of $T: mrow(array[int, int] of $T: x, int: r) = 10 [x[r,i] | i in index_set_2of2(x)]; 11 12constraint all_different(mrow([|1,2|2,3|],1)); 13 14solve satisfy;