1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
\ This file was automatically generated by Zimpl
\ set A := { 1 .. 10 };
\ set B := { 5 .. 15 };
\ param a1 := if A == B or A <= B then 1 else 2 end;
\ param a2 := if A != B and A < B then 1 else 2 end;
\ param a3 := if not A > B and not A < B then 1 else 2 end;
\ param a4 := if a1 < a2 or a2 != a3 then 1 else 2 end;
\ param a5 := if if a1 != a2 then a3 < a4 else a3 > a4 end then 1 else 2 end;
\ param a6 := if A == B xor A <= B then 3 else 4 end;
\ param a7 := if "aaaa" >= "aaaab" then 5 else 1 end;
\ param a8 := if exists(<i> in { 1 .. 20 } with i * i == 16) then 1 else 2 end;
\ param a9 := if <4> in { 1 .. 4 } then 7 else 8 end + if <"hallo"> in { "moin", "tach", "hi"} then 2 else 5 end
\ + if <5> in {} then 100 else 0 end;
\ var x[A];
\ maximize c1: a1 * x[1] + a2 * x[2] + a3 * x[3] + a4 * x[4] + a5 * x[5] + a6 * x[6] + a7 * x[7] + a8 * x[8] + a9 *
\ x[9];
\Problem name: bool.zpl
Maximize
c1: +2 x#1 +2 x#2 + x#3 + x#4 +2 x#5 +4 x#6
+ x#7 + x#8 +12 x#9
Subject to
Bounds
0 <= x#1 <= +inf
0 <= x#2 <= +inf
0 <= x#3 <= +inf
0 <= x#4 <= +inf
0 <= x#5 <= +inf
0 <= x#6 <= +inf
0 <= x#7 <= +inf
0 <= x#8 <= +inf
0 <= x#9 <= +inf
End
|
