dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / general / anon_var_flatten.mzn
at develop 291 B view raw
1/*** 2!Test 3expected: 4- !Result 5 status: SATISFIED 6 solution: !Solution 7 x: 8 - !!set {0} 9 - !Range 0..9 10- !Result 11 status: SATISFIED 12 solution: !Solution 13 x: 14 - !!set {0} 15 - !!set {} 16***/ 17 18array [1..2] of var set of 0..9: x :: add_to_output = [{0}, _]; 19solve satisfy;