this repo has no description
at develop 205 B view raw
1/*** 2!Test 3solvers: [gecode] 4extra_files: 5- json_ignore.mzc.mzn 6- json_ignore.json 7expected: 8- !Result 9 solution: !Solution 10 _checker: "data_2 = 2;\n" 11 data_1: 1 12***/ 13 14int: data_1 :: add_to_output;