this repo has no description
dekker.one
1/***
2--- !Test
3solvers: [gecode]
4options:
5 all_solutions: true
6expected: !Result
7 status: ALL_SOLUTIONS
8 solution:
9 - !Solution
10 x: 7
11 y: 1
12 z: 7
13--- !Test # Workaround for chuffed all-solution issue
14solvers: [chuffed]
15expected: !Result
16 status: SATISFIED
17 solution: !Solution
18 x: 7
19 y: 1
20 z: 7
21***/
22
23function var int:mydiv(var int: x, var int: y) =
24 let {constraint y != 0 } in
25 safediv(x, y)
26;
27
28function var int: safediv(var int: x, var int: y) :: promise_total =
29 let {
30 var 0..ub(x): q;
31 var 0..ub(y)-1: r;
32 constraint q*y + r = x;
33 constraint r < y;
34 } in q;
35
36var int: x;
37var int: y;
38var int: z;
39
40constraint x = 7;
41constraint y = 1;
42constraint z = mydiv(x,y);
43
44solve satisfy;