this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3
4function var int:mydiv(var int: x, var int: y) =
5 let {constraint y != 0 } in
6 safediv(x, y)
7;
8
9function var int: safediv(var int: x, var int: y) :: promise_total =
10 let {
11 var 0..ub(x): q;
12 var 0..ub(y)-1: r;
13 constraint q*y + r = x;
14 constraint r < y;
15 } in q;
16
17var int: x;
18var int: y;
19var int: z;
20
21constraint x = 7;
22constraint y = 1;
23constraint z = mydiv(x,y);
24
25solve satisfy;