this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3% RUNS ON mzn20_mip
4% Regression test extracted from examples/zinc/sonet.zinc.
5% (as processed by zinc2mzn).
6% The change in r7995 broke this, it was fixed in r8005, r8014-5.
7
8array[1 .. 5] of 1 .. 5: Demand_1__107 = [ 1, 3, 3, 2, 4 ];
9
10array[1 .. 5] of 1 .. 5: Demand_2__108 = [ 3, 5, 2, 4, 1 ];
11
12array[1 .. 2, 1 .. 5] of var bool: network__104;
13
14constraint
15 forall(
16 [ sum([ bool2int(network__104[ring__0, node]) | node in 1 .. 5 ]) <= 4 |
17 ring__0 in 1 .. 2 ]) /\
18 forall(
19 [ let { var 1 .. 2: ring }
20 in
21 network__104[ring, Demand_1__107[e__110]] /\
22 network__104[ring, Demand_2__108[e__110]] | e__110 in 1 .. 5 ]);
23
24solve
25 minimize
26 sum(
27 [ bool2int(network__104[i__118, i__119]) |
28 i__118 in 1 .. 2, i__119 in 1 .. 5 ]);
29
30output
31 [ "Network of size ",
32 show(
33 sum(
34 [ bool2int(network__104[i__114, i__115]) |
35 i__114 in 1 .. 2, i__115 in 1 .. 5 ])), ":\n", "{ " ] ++
36 [ ( if fix(network__104[i__116, i__117])
37 then ("(" ++ (((show(i__116) ++ ", ") ++ show(i__117)) ++ ")")) ++ " "
38 else "" endif) | i__116 in 1 .. 2, i__117 in 1 .. 5 ] ++ [ "}" ] ++
39 [ "\n" ];