this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 execution_unit_1000_3: 0
7 execution_unit_1000_4: 0
8 uav1: 0
9 uav2: 3
10 uav3: 2
11 uav4: 1
12- !Result
13 solution: !Solution
14 execution_unit_1000_3: 1
15 execution_unit_1000_4: 1
16 uav1: 1
17 uav2: 0
18 uav3: 3
19 uav4: 2
20- !Result
21 solution: !Solution
22 execution_unit_1000_3: 0
23 execution_unit_1000_4: 0
24 uav1: 0
25 uav2: 2
26 uav3: 3
27 uav4: 1
28- !Result
29 solution: !Solution
30 execution_unit_1000_3: 3
31 execution_unit_1000_4: 3
32 uav1: 3
33 uav2: 1
34 uav3: 2
35 uav4: 0
36- !Result
37 solution: !Solution
38 execution_unit_1000_3: 6
39 execution_unit_1000_4: 6
40 uav1: 6
41 uav2: 3
42 uav3: 4
43 uav4: 5
44***/
45
46% Regression test for bug #347: mzn2fzn's FlatZinc optimiser was incorrectly
47% optimising away some of the equality constraints involving uav1 below.
48
49include "alldifferent.mzn";
50var 0..6: uav1;
51var 0..6: uav2;
52var 0..6: uav3;
53var 0..6: uav4;
54var 0..6: execution_unit_1000_3;
55var 0..6: execution_unit_1000_4;
56constraint alldifferent([uav1, uav2, uav3, uav4]);
57constraint execution_unit_1000_3 = uav1;
58constraint execution_unit_1000_4 = uav1;
59solve satisfy;
60output [
61 "uav1 = ", show(uav1), ";\n",
62 "uav2 = ", show(uav2), ";\n",
63 "uav3 = ", show(uav3), ";\n",
64 "uav4 = ", show(uav4), ";\n"
65];