dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / checker_var_bug.mzn
at develop 213 B view raw
1/*** 2!Test 3solvers: [gecode] 4extra_files: 5- checker_var_bug.mzc.mzn 6expected: 7- !Result 8 solution: !Solution 9 _checker: "x = 1;\n" 10- !Result 11 solution: !Solution 12 _checker: "x = 2;\n" 13***/ 14 15solve satisfy;