this repo has no description
dekker.one
1/***
2!Test
3solvers: [gecode, chuffed, cbc]
4expected: !Result
5 solution: !Solution
6 z: 5
7 status: SATISFIED
8***/
9
10% Checks to ensure that correct evaluation is done when flattening vars that are actually par
11
12var opt int: x = 10;
13var opt int: y = 5;
14
15var opt int: z :: add_to_output :: mzn_break_here = x - y;