dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / general / mzn-implicit3.mzn
at develop 194 B view raw
1 2array[int, int] of int: a = [|1, 2|3, 4|]; 3set of int: ax = index_set_1of2(a); 4set of int: bx = index_set_2of2(a); 5solve satisfy; 6output [ 7 "ax = ", show(ax), "\n", 8 "bx = ", show(bx) 9];