dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / general / test_var_set_assignment.mzn
at develop 207 B view raw
1/*** 2!Test 3expected: !Result 4 solution: !Solution 5 a: 6 - !!set {1} 7 - !Range 2..3 8 - !Range 4..5 9***/ 10 11array [1..3] of var set of 1..5: a :: add_to_output = [{1}, {2, 3}, {4, 5}]; 12solve satisfy;