this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3% RUNS ON mzn20_fd_linear
4% RUNS ON mzn20_mip
5
6% Regression test for bug #347: mzn2fzn's FlatZinc optimiser was incorrectly
7% optimising away some of the equality constraints involving uav1 below.
8
9include "alldifferent.mzn";
10var 0..6: uav1;
11var 0..6: uav2;
12var 0..6: uav3;
13var 0..6: uav4;
14var 0..6: execution_unit_1000_3;
15var 0..6: execution_unit_1000_4;
16constraint alldifferent([uav1, uav2, uav3, uav4]);
17constraint execution_unit_1000_3 = uav1;
18constraint execution_unit_1000_4 = uav1;
19solve satisfy;
20output [
21 "uav1 = ", show(uav1), ";\n",
22 "uav2 = ", show(uav2), ";\n",
23 "uav3 = ", show(uav3), ";\n",
24 "uav4 = ", show(uav4), ";\n"
25];