this repo has no description
dekker.one
1/***
2!Test
3solvers: [gecode, chuffed, cbc]
4expected: !Result
5 solution: !Solution
6 z: 10
7 status: SATISFIED
8***/
9
10% Checks to ensure that bounds computation can deal with absent values
11var opt int: x = 10;
12var opt int: y = <>;
13
14var opt int: z :: add_to_output :: mzn_break_here = x - y;