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
|
# $Id: expr.zpl,v 1.14 2007/04/28 06:17:38 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;
|
