dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / json / json_input_set.mzn
at develop 259 B view raw
1/*** 2!Test 3extra_files: 4- json_input_set.json 5expected: !Result 6 solution: !Solution 7 _output_item: 'x = {1,2,3,4,6,9,10,11}, y = 1.0..1.0 union 2.0..4.0 union 6.0..6.0 union 9.0..11.0' 8***/ 9 10set of int: x; 11set of float: y; 12 13output ["x = \(x), y = \(y)"];