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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
# $Id: expr.zpl,v 1.20 2011/07/31 15:10:45 bzfkocht Exp $
#* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
#* *
#* File....: expr.zpl *
#* Name....: Expression test *
#* Author..: Thorsten Koch *
#* Copyright by Author, All rights reserved *
#* *
#* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
#*
#* Copyright (C) 2006 by Thorsten Koch <koch@zib.de>
#*
#* This program is free software; you can redistribute it and/or
#* modify it under the terms of the GNU General Public License
#* as published by the Free Software Foundation; either version 2
#* of the License, or (at your option) any later version.
#*
#* This program is distributed in the hope that it will be useful,
#* but WITHOUT ANY WARRANTY; without even the implied warranty of
#* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
#* GNU General Public License for more details.
#*
#* You should have received a copy of the GNU General Public License
#* along with this program; if not, write to the Free Software
#* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
#*
set I := { 1 .. 10 };
set S := { "moin", "hello", "ho" };
param a[<i> in I] := i + 3;
var x[I];
subto c01: (3 * a[1] + 5) * x[1] >= a[2] * 2 - 4;
subto c02: a[1] mod 2 >= x[1] / 7;
subto c03: a[1] div 2 >= x[1] - 3;
subto c04: card(I) * x[1] >= abs(a[1] - a[2]);
subto c05: a[1]^a[2] <= x[1] * 3!;
subto c06: floor(a[1] / 3) <= x[2] * ceil(a[2] / 7);
subto c07: -exp(ln(a[4])) >= -x[3];
subto c08: x[3] + log(10) == -6;
subto c09: (min <i> in I : a[i]) * x[1] >= x[2] * max <i> in I : a[i];
subto c10: x[1] * if sum <i> in I : a[i] > 20 then 2 else -4 end >= 5;
subto c11: a[1]^-a[2] >= x[2] / 100;
subto c12: x[3] >= min(6, 2/7, a[1], a[3]);
subto c13: x[3] <= max(6, 2/7, a[1], a[3]);
subto c14: sum <i> in {1..10} do i mod 8 * x[i] >= 5;
subto c15: sum <i> in I do sgn(5 - i) * x[i] >= 3;
subto c16: sum <i> in I do random(10,20) * x[i] >= random(50,1000);
subto c17: x[min(I)] <= x[max(I)];
subto c18: (prod <i> in I with i < 4 : a[i]) * x[1] <= 800;
subto c19: sum <s> in S with substr(s, 1, 1) == "o" : x[length(s)] >= 2;
subto c20: sum <s> in S with substr(s, -1, 1) == "o" : x[length(s)] >= 2;
subto c21: sum <s> in S with substr(s, 2, 2) == "ll" : x[length(s)] <= 2;
subto c22: sum <s> in S with substr(s, -6, 5) != "" : x[length(s)] <= 2;
subto c23: sum <i> in { 4, 9, 16 }: x[sqrt(i)] >= 5;
do check 2 + 3 * 4 == 2 + (3 * 4);
do check -2^2 == -4;
do check +10^-2 == 1/100;
do check -3! == -1 * 2 * 3;
do check 3 * 2! == 3 * 2;
do check 2^3^4 == 2^(3^4);
do check 3!^-2^4*5 == ((2 * 3)^(-2 * 2 * 2 * 2)) * 5;
do check 4 + 1 / 3 * sum <i> in I : 3 * i == sum <i> in I : i + 4;
do check 3 * min(I) == min <i> in I : i * 3;
do check ord(S,1,1) + ord(S,2,1) + ord(S,3,1) == "moinhelloho";
#
do check round(3.5) == 4;
do check round(3.499999999999) == 3;
do check round(0.00000000001) == 0;
do check round(0.5) == 1;
#
do check round(-3.5) == -4;
do check round(-3.499999999999) == -3;
do check round(-0.00000000001) == 0;
do check round(-0.5) == -1;
|
