configure.in: set AC_CONFIG_MACRO_DIR
[piplib.git] / test / boulet.ll
blob4d5528d3b4d1c42b4451e9095ef5947950190254
1
2  ( Cree par l'interface Caml/PIP.
3  Résoudre MIN(x', y', z', i, j, k, i', j', k')
4  sous les contraintes :
5  { i >= 1,
6    i+j-k >= 0,
7    i-n <= 0,
8    2*i+4*j+4*k-x-y-z <= 0,
9    2*i-z >= 0,
10    i' >= 1,
11    i'+j'-k' >= 0,
12    i'-n <= 0,
13    2*i'+4*j'+4*k'-x'-y'-z' <= 0,
14    2*i'-z' >= 0,
15    j >= 1,
16    j-n <= 0,
17    4*j+3*k-y >= 0,
18    j' >= 1,
19    j'-n <= 0,
20    4*j'+3*k'-y' >= 0,
21    k >= 1,
22    k-x >= 0,
23    k' >= 1,
24    k'-x' >= 0,
25    n >= 1,
26    x-x' >= 0,
27    x-x'+y-y' <= 0,
28    y-y' >= 0,
29    z-z' <= -1
30    }
31  en nombres entiers  -1 )(if #[ 0 0 1 -1 0 0 1]
32 (if #[ 0 1 0 -1 0 0 1]
33 (if #[ 0 -3 0 1 1 1 -10]
34 (if #[ 0 1 0 0 0 -1 2]
35 (if #[ 0 -9 4 3 -1 3 -6]
36 (if #[ 0 -2 0 1 0 1 -3]
37 (if #[ 0 -1 2 0 0 -1 -1]
38 (list #[ 1 -1 0 1 0 0 0]
39 #[ 1 -1 0 0 1 0 0]
40 #[ 1 -1 0 0 0 1 1]
41 #[ 1 0 0 0 0 0 1]
42 #[ 1 5/4 0 -3/4 1/4 -3/4 3/2]
43 #[ 1 -2 0 1 0 1 -2]
44 #[ 1 -1/2 0 0 0 1/2 1/2]
45 #[ 1 1/2 0 -3/4 1/4 0 0]
46 #[ 1 -1 0 1 0 0 0]
54 (if #[ 0 -1 2 0 0 -1 0]
55 (if #[ 0 -1 2 0 0 -1 -1]
56 (if #[ 0 -2 0 1 1 0 -8]
57 (if #[ 0 -1 0 1 0 0 -1]
58 (if #[ 0 -6 4 3 -1 0 0]
59 (list #[ 1 0 0 0 0 0 1]
60 #[ 1 -2 0 1 1 0 -1]
61 #[ 1 -1 0 0 0 1 1]
62 #[ 1 -1/2 0 0 0 1/2 0]
63 #[ 1 1/2 0 -3/4 1/4 0 0]
64 #[ 1 -1 0 1 0 0 0]
65 #[ 1 -1/2 0 0 0 1/2 1/2]
66 #[ 1 -1/2 0 1/4 1/4 0 -1]
67 #[ 1 0 0 0 0 0 1]
82 (if #[ 0 1 0 0 0 -1 2]
83 (if #[ 0 1 0 0 0 -1 1]
84 (if #[ 0 -6 0 7 -1 0 -4]
88 (if #[ 0 -1 2 0 0 -1 -1]
89 (if #[ 0 -1 0 2 0 -1 -3]
90 (if #[ 0 -6 0 7 -1 0 -4]
91 (if #[ 0 3 2 -7 1 1 0]
92 (if #[ 0 3 0 -5 1 1 -2]
93 (if #[ 0 4 0 -7 1 2 0]
94 (list #[ 1 -1 0 1 0 0 0]
95 #[ 1 -1 0 0 1 0 0]
96 #[ 1 -1 0 0 0 1 1]
97 #[ 1 -5/2 0 7/2 -1/2 -1/2 0]
98 #[ 1 3/2 0 -5/2 1/2 1/2 0]
99 #[ 1 -1 0 1 0 0 0]
100 #[ 1 -1/2 0 0 0 1/2 1/2]
101 #[ 1 1/2 0 -3/4 1/4 0 0]
102 #[ 1 -1 0 1 0 0 0]
110 (if #[ 0 -9 4 3 -1 3 -6]
111 (list #[ 1 -1 0 1 0 0 0]
112 #[ 1 -1 0 0 1 0 0]
113 #[ 1 -1 0 0 0 1 1]
114 #[ 1 0 0 0 0 0 1]
115 #[ 1 5/4 0 -3/4 1/4 -3/4 3/2]
116 #[ 1 -2 0 1 0 1 -2]
117 #[ 1 -1/2 0 0 0 1/2 1/2]
118 #[ 1 1/2 0 -3/4 1/4 0 0]
119 #[ 1 -1 0 1 0 0 0]
124 (if #[ 0 2 0 -3 1 0 -4]
125 (if #[ 0 -9 4 3 -1 3 -6]
126 (list #[ 1 -1 0 1 0 0 0]
127 #[ 1 -1 0 0 1 0 0]
128 #[ 1 -1 0 0 0 1 1]
129 #[ 1 0 0 0 0 0 1]
130 #[ 1 5/4 0 -3/4 1/4 -3/4 3/2]
131 #[ 1 -2 0 1 0 1 -2]
132 #[ 1 -1/2 0 0 0 1/2 1/2]
133 #[ 1 1/2 0 -3/4 1/4 0 0]
134 #[ 1 -1 0 1 0 0 0]
144 (if #[ 0 -1 2 0 0 -1 0]
145 (if #[ 0 -1 2 0 0 -1 -1]
146 (if #[ 0 -1 0 2 0 -1 -2]
147 (if #[ 0 -1 0 2 0 -1 -3]
148 (if #[ 0 -4 0 7 -1 -2 0]
149 (if #[ 0 3 2 -7 1 1 0]
150 (if #[ 0 3 0 -5 1 1 -2]
151 (if #[ 0 4 0 -7 1 2 0]
152 (list #[ 1 -1 0 1 0 0 0]
153 #[ 1 -1 0 0 1 0 0]
154 #[ 1 -1 0 0 0 1 1]
155 #[ 1 -5/2 0 7/2 -1/2 -1/2 0]
156 #[ 1 3/2 0 -5/2 1/2 1/2 0]
157 #[ 1 -1 0 1 0 0 0]
158 #[ 1 -1/2 0 0 0 1/2 1/2]
159 #[ 1 1/2 0 -3/4 1/4 0 0]
160 #[ 1 -1 0 1 0 0 0]
168 (if #[ 0 -6 4 3 -1 0 0]
169 (list #[ 1 -1 0 1 0 0 0]
170 #[ 1 -1 0 0 1 0 0]
171 #[ 1 -1 0 0 0 1 1]
172 #[ 1 -1/2 0 0 0 1/2 0]
173 #[ 1 1/2 0 -3/4 1/4 0 0]
174 #[ 1 -1 0 1 0 0 0]
175 #[ 1 -1/2 0 0 0 1/2 1/2]
176 #[ 1 1/2 0 -3/4 1/4 0 0]
177 #[ 1 -1 0 1 0 0 0]
182 (if #[ 0 2 0 -3 1 0 -4]
183 (if #[ 0 -6 4 3 -1 0 0]
184 (list #[ 1 -1 0 1 0 0 0]
185 #[ 1 -1 0 0 1 0 0]
186 #[ 1 -1 0 0 0 1 1]
187 #[ 1 -1/2 0 0 0 1/2 0]
188 #[ 1 1/2 0 -3/4 1/4 0 0]
189 #[ 1 -1 0 1 0 0 0]
190 #[ 1 -1/2 0 0 0 1/2 1/2]
191 #[ 1 1/2 0 -3/4 1/4 0 0]
192 #[ 1 -1 0 1 0 0 0]
199 (if #[ 0 2 0 -3 1 0 -4]
200 (if #[ 0 -6 4 3 -1 0 0]
201 (list #[ 1 -1 0 1 0 0 0]
202 #[ 1 -1 0 0 1 0 0]
203 #[ 1 -1 0 0 0 1 1]
204 #[ 1 -1/2 0 0 0 1/2 0]
205 #[ 1 1/2 0 -3/4 1/4 0 0]
206 #[ 1 -1 0 1 0 0 0]
207 #[ 1 -1/2 0 0 0 1/2 1/2]
208 #[ 1 1/2 0 -3/4 1/4 0 0]
209 #[ 1 -1 0 1 0 0 0]
222 (if #[ 0 -1 2 -1 0 0 0]
223 (if #[ 0 1 -2 2 0 -1 0]
224 (if #[ 0 1 -2 2 0 -1 -1]
225 (if #[ 0 -6 4 3 -1 0 0]
229 (if #[ 0 -1 2 0 0 -1 -1]
230 (if #[ 0 -6 4 3 -1 0 0]
231 (if #[ 0 3 2 -7 1 1 0]
232 (if #[ 0 4 0 -7 1 2 0]
233 (list #[ 1 -1 0 1 0 0 0]
234 #[ 1 -1 0 0 1 0 0]
235 #[ 1 -1 0 0 0 1 1]
236 #[ 1 -5/2 0 7/2 -1/2 -1/2 0]
237 #[ 1 3/2 0 -5/2 1/2 1/2 0]
238 #[ 1 -1 0 1 0 0 0]
239 #[ 1 -1/2 0 0 0 1/2 1/2]
240 #[ 1 1/2 0 -3/4 1/4 0 0]
241 #[ 1 -1 0 1 0 0 0]
252 (if #[ 0 -1 2 0 0 -1 0]
253 (if #[ 0 -1 2 0 0 -1 -1]
254 (if #[ 0 -4 0 7 -1 -2 0]
255 (if #[ 0 3 2 -7 1 1 0]
256 (if #[ 0 4 0 -7 1 2 0]
257 (list #[ 1 -1 0 1 0 0 0]
258 #[ 1 -1 0 0 1 0 0]
259 #[ 1 -1 0 0 0 1 1]
260 #[ 1 -5/2 0 7/2 -1/2 -1/2 0]
261 #[ 1 3/2 0 -5/2 1/2 1/2 0]
262 #[ 1 -1 0 1 0 0 0]
263 #[ 1 -1/2 0 0 0 1/2 1/2]
264 #[ 1 1/2 0 -3/4 1/4 0 0]
265 #[ 1 -1 0 1 0 0 0]
271 (if #[ 0 -6 4 3 -1 0 0]
272 (list #[ 1 -1 0 1 0 0 0]
273 #[ 1 -1 0 0 1 0 0]
274 #[ 1 -1 0 0 0 1 1]
275 #[ 1 -1/2 0 0 0 1/2 0]
276 #[ 1 1/2 0 -3/4 1/4 0 0]
277 #[ 1 -1 0 1 0 0 0]
278 #[ 1 -1/2 0 0 0 1/2 1/2]
279 #[ 1 1/2 0 -3/4 1/4 0 0]
280 #[ 1 -1 0 1 0 0 0]