dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / json / coerce_set.mzn
at develop 158 B view raw
1/*** 2!Test 3extra_files: 4- coerce_set.json 5solvers: [gecode] 6expected: !Result 7 solution: !Solution 8 s: !!set {1, 2, 3} 9***/ 10 11set of int: s ::add_to_output;