test/bouleti.ll

   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 -1 2 0 0 -1 -1]
  32 (if #[ 0 0 1 -1 0 0 1]
  33 (if #[ 0 -1 0 0 0 1 -1]
  34 (if #[ 0 -1 0 1 0 0 -2]
  35 (if #[ 0 2 0 -3 1 0 -4]
  36 (if #[ 0 -6 4 3 -1 0 0]
  37 (if #[ 0 4 0 -7 1 2 2]
  38 (if #[ 0 1 0 0 0 -1 2]
  39 (if #[ 0 -6 0 7 -1 0 -4]
  40 (if #[ 0 3 2 -7 1 1 0]
  41 (if #[ 0 3 0 -5 1 1 -2]
  42 (if #[ 0 4 0 -7 1 2 0]
  43 (newparm 6 (div #[ 0 1 0 1 1 1 0]
  44  2)
  45 )
  46 (newparm 7 (div #[ 0 1 0 0 0 1 0 1]
  47  2)
  48 )
  49 (newparm 8 (div #[ 0 2 0 3 3 0 0 0 0]
  50  4)
  51 )
  52 (list #[ 1 -1 0 1 0 0 0 0 0 0]
  53 #[ 1 -1 0 0 1 0 0 0 0 0]
  54 #[ 1 2 0 3 3 2 0 -2 -4 2]
  55 #[ 1 -2 0 4 0 0 -1 0 0 0]
  56 #[ 1 1 0 -3 0 0 1 0 0 0]
  57 #[ 1 -1 0 1 0 0 0 0 0 0]
  58 #[ 1 0 0 0 0 1 0 -1 0 1]
  59 #[ 1 -1 0 -3 -2 0 0 0 3 0]
  60 #[ 1 1 0 4 3 0 0 0 -4 0]
  61 )
  62 ()
  63 )
  64 ()
  65 )
  66 ()
  67 )
  68 (if #[ 0 -9 4 3 -1 3 -6]
  69 (if #[ 0 -1 0 0 0 1 -2]
  70 (newparm 6 (div #[ 0 3 0 3 3 3 2]
  71  4)
  72 )
  73 (if #[ 0 -6 0 -3 -3 0 4 -8]
  74 (newparm 7 (div #[ 0 0 0 0 0 0 2 2]
  75  3)
  76 )
  77 (newparm 8 (div #[ 0 0 0 0 0 0 0 1 0]
  78  2)
  79 )
  80 (newparm 9 (div #[ 0 1 0 0 0 1 0 0 0 1]
  81  2)
  82 )
  83 (newparm 10 (div #[ 0 2 0 3 3 0 0 0 0 0 0]
  84  4)
  85 )
  86 (list #[ 1 -1 0 1 0 0 0 0 0 0 0 0]
  87 #[ 1 -1 0 0 1 0 0 0 0 0 0 0]
  88 #[ 1 2 0 3 3 2 0 0 0 -2 -4 2]
  89 #[ 1 0 0 0 0 0 0 0 0 0 0 1]
  90 #[ 1 2 0 0 1 0 0 0 -3 0 0 3]
  91 #[ 1 -3 0 0 -1 0 0 0 4 0 0 -4]
  92 #[ 1 0 0 0 0 1 0 0 0 -1 0 1]
  93 #[ 1 -1 0 -3 -2 0 0 0 0 0 3 0]
  94 #[ 1 1 0 4 3 0 0 0 0 0 -4 0]
  95 )
  96 ()
  97 )
  98 ()
  99 )
 100 ()
 101 )
 102 )
 103 (if #[ 0 -1 0 2 0 -1 -2]
 104 (if #[ 0 -4 0 7 -1 -2 0]
 105 (if #[ 0 3 2 -7 1 1 0]
 106 (if #[ 0 3 0 -5 1 1 -2]
 107 (if #[ 0 4 0 -7 1 2 0]
 108 (newparm 6 (div #[ 0 1 0 1 1 1 0]
 109  2)
 110 )
 111 (if #[ 0 2 0 -9 -1 0 4 0]
 112 (newparm 7 (div #[ 0 1 0 0 0 1 0 1]
 113  2)
 114 )
 115 (newparm 8 (div #[ 0 2 0 3 3 0 0 0 0]
 116  4)
 117 )
 118 (list #[ 1 -1 0 1 0 0 0 0 0 0]
 119 #[ 1 -1 0 0 1 0 0 0 0 0]
 120 #[ 1 2 0 3 3 2 0 -2 -4 2]
 121 #[ 1 -2 0 4 0 0 -1 0 0 0]
 122 #[ 1 1 0 -3 0 0 1 0 0 0]
 123 #[ 1 -1 0 1 0 0 0 0 0 0]
 124 #[ 1 0 0 0 0 1 0 -1 0 1]
 125 #[ 1 -1 0 -3 -2 0 0 0 3 0]
 126 #[ 1 1 0 4 3 0 0 0 -4 0]
 127 )
 128 ()
 129 )
 130 ()
 131 )
 132 ()
 133 )
 134 ()
 135 )
 136 (newparm 6 (div #[ 0 1 0 0 0 1 0]
 137  2)
 138 )
 139 (if #[ 0 -9 4 3 -1 -3 6 0]
 140 (if #[ 0 -1 0 0 0 -1 2 0]
 141 (newparm 7 (div #[ 0 3 0 3 3 1 2 0]
 142  4)
 143 )
 144 (if #[ 0 -6 0 -3 -3 -4 4 4 0]
 145 (newparm 8 (div #[ 0 0 0 0 0 1 2 2 0]
 146  3)
 147 )
 148 (newparm 9 (div #[ 0 0 0 0 0 1 0 0 1 0]
 149  2)
 150 )
 151 (newparm 10 (div #[ 0 1 0 0 0 1 0 0 0 0 1]
 152  2)
 153 )
 154 (newparm 11 (div #[ 0 2 0 3 3 0 0 0 0 0 0 0]
 155  4)
 156 )
 157 (list #[ 1 -1 0 1 0 0 0 0 0 0 0 0 0]
 158 #[ 1 -1 0 0 1 0 0 0 0 0 0 0 0]
 159 #[ 1 2 0 3 3 2 0 0 0 0 -2 -4 2]
 160 #[ 1 0 0 0 0 1 -1 0 0 0 0 0 0]
 161 #[ 1 2 0 0 1 3 0 0 0 -3 0 0 0]
 162 #[ 1 -3 0 0 -1 -4 0 0 0 4 0 0 0]
 163 #[ 1 0 0 0 0 1 0 0 0 0 -1 0 1]
 164 #[ 1 -1 0 -3 -2 0 0 0 0 0 0 3 0]
 165 #[ 1 1 0 4 3 0 0 0 0 0 0 -4 0]
 166 )
 167 ()
 168 )
 169 ()
 170 )
 171 ()
 172 )
 173 )
 174 (newparm 6 (div #[ 0 1 0 0 0 1 0]
 175  2)
 176 )
 177 (if #[ 0 -9 4 3 -1 -3 6 0]
 178 (if #[ 0 -1 0 0 0 -1 2 0]
 179 (newparm 7 (div #[ 0 3 0 3 3 1 2 0]
 180  4)
 181 )
 182 (if #[ 0 -6 0 -3 -3 -4 4 4 0]
 183 (newparm 8 (div #[ 0 0 0 0 0 1 2 2 0]
 184  3)
 185 )
 186 (newparm 9 (div #[ 0 0 0 0 0 1 0 0 1 0]
 187  2)
 188 )
 189 (newparm 10 (div #[ 0 1 0 0 0 1 0 0 0 0 1]
 190  2)
 191 )
 192 (newparm 11 (div #[ 0 2 0 3 3 0 0 0 0 0 0 0]
 193  4)
 194 )
 195 (list #[ 1 -1 0 1 0 0 0 0 0 0 0 0 0]
 196 #[ 1 -1 0 0 1 0 0 0 0 0 0 0 0]
 197 #[ 1 2 0 3 3 2 0 0 0 0 -2 -4 2]
 198 #[ 1 0 0 0 0 1 -1 0 0 0 0 0 0]
 199 #[ 1 2 0 0 1 3 0 0 0 -3 0 0 0]
 200 #[ 1 -3 0 0 -1 -4 0 0 0 4 0 0 0]
 201 #[ 1 0 0 0 0 1 0 0 0 0 -1 0 1]
 202 #[ 1 -1 0 -3 -2 0 0 0 0 0 0 3 0]
 203 #[ 1 1 0 4 3 0 0 0 0 0 0 -4 0]
 204 )
 205 ()
 206 )
 207 ()
 208 )
 209 ()
 210 )
 211 )
 212 )
 213 ()
 214 )
 215 ()
 216 )
 217 ()
 218 )
 219 (if #[ 0 -3 0 1 1 1 -10]
 220 (if #[ 0 1 0 0 0 -1 2]
 221 (if #[ 0 -9 4 3 -1 3 -6]
 222 (if #[ 0 -1 0 0 0 1 -2]
 223 (if #[ 0 -1 0 1 0 0 -1]
 224 (newparm 6 (div #[ 0 3 0 3 3 3 2]
 225  4)
 226 )
 227 (if #[ 0 -6 0 -3 -3 0 4 -8]
 228 (newparm 7 (div #[ 0 0 0 0 0 0 2 2]
 229  3)
 230 )
 231 (newparm 8 (div #[ 0 0 0 0 0 0 0 1 0]
 232  2)
 233 )
 234 (newparm 9 (div #[ 0 1 0 0 0 1 0 0 0 1]
 235  2)
 236 )
 237 (newparm 10 (div #[ 0 2 0 3 3 0 0 0 0 0 0]
 238  4)
 239 )
 240 (list #[ 1 0 0 0 0 0 0 0 0 0 0 1]
 241 #[ 1 0 0 4 4 0 0 0 0 0 -4 -1]
 242 #[ 1 0 0 0 0 2 0 0 0 -2 0 2]
 243 #[ 1 0 0 0 0 0 0 0 0 0 0 1]
 244 #[ 1 2 0 0 1 0 0 0 -3 0 0 3]
 245 #[ 1 -3 0 0 -1 0 0 0 4 0 0 -4]
 246 #[ 1 0 0 0 0 1 0 0 0 -1 0 1]
 247 #[ 1 0 0 1 1 0 0 0 0 0 -1 -1]
 248 #[ 1 0 0 0 0 0 0 0 0 0 0 1]
 249 )
 250 ()
 251 )
 252 ()
 253 )
 254 ()
 255 )
 256 ()
 257 )
 258 (if #[ 0 -2 0 1 1 0 -8]
 259 (if #[ 0 -6 4 3 -1 0 0]
 260 (if #[ 0 -1 0 1 0 0 -1]
 261 (newparm 6 (div #[ 0 1 0 0 0 1 0]
 262  2)
 263 )
 264 (if #[ 0 -9 4 3 -1 -3 6 0]
 265 (if #[ 0 -1 0 0 0 -1 2 0]
 266 (newparm 7 (div #[ 0 3 0 3 3 1 2 0]
 267  4)
 268 )
 269 (if #[ 0 -6 0 -3 -3 -4 4 4 0]
 270 (newparm 8 (div #[ 0 0 0 0 0 1 2 2 0]
 271  3)
 272 )
 273 (newparm 9 (div #[ 0 0 0 0 0 1 0 0 1 0]
 274  2)
 275 )
 276 (newparm 10 (div #[ 0 1 0 0 0 1 0 0 0 0 1]
 277  2)
 278 )
 279 (newparm 11 (div #[ 0 2 0 3 3 0 0 0 0 0 0 0]
 280  4)
 281 )
 282 (list #[ 1 0 0 0 0 0 0 0 0 0 0 0 1]
 283 #[ 1 0 0 4 4 0 0 0 0 0 0 -4 -1]
 284 #[ 1 0 0 0 0 2 0 0 0 0 -2 0 2]
 285 #[ 1 0 0 0 0 1 -1 0 0 0 0 0 0]
 286 #[ 1 2 0 0 1 3 0 0 0 -3 0 0 0]
 287 #[ 1 -3 0 0 -1 -4 0 0 0 4 0 0 0]
 288 #[ 1 0 0 0 0 1 0 0 0 0 -1 0 1]
 289 #[ 1 0 0 1 1 0 0 0 0 0 0 -1 -1]
 290 #[ 1 0 0 0 0 0 0 0 0 0 0 0 1]
 291 )
 292 ()
 293 )
 294 ()
 295 )
 296 ()
 297 )
 298 ()
 299 )
 300 ()
 301 )
 302 ()
 303 )
 304 )
 305 ()
 306 )
 307 )
 308 ()
 309 )
 310 (if #[ 0 -1 2 -1 0 0 0]
 311 (if #[ 0 -1 2 -2 0 1 1]
 312 (if #[ 0 1 -2 2 0 -1 0]
 313 (if #[ 0 -4 0 7 -1 -2 -2]
 314 ()
 315 (if #[ 0 -6 4 3 -1 0 0]
 316 (if #[ 0 4 0 -7 1 2 0]
 317 (newparm 6 (div #[ 0 1 0 1 1 1 0]
 318  2)
 319 )
 320 (newparm 7 (div #[ 0 1 0 0 0 1 0 1]
 321  2)
 322 )
 323 (newparm 8 (div #[ 0 0 1 0 2 0 0 0 0]
 324  3)
 325 )
 326 (list #[ 1 -1 0 1 0 0 0 0 0 0]
 327 #[ 1 -1 0 0 1 0 0 0 0 0]
 328 #[ 1 2 0 -1 3 2 0 -2 -4 2]
 329 #[ 1 -2 0 4 0 0 -1 0 0 0]
 330 #[ 1 1 0 -3 0 0 1 0 0 0]
 331 #[ 1 -1 0 1 0 0 0 0 0 0]
 332 #[ 1 0 0 0 0 1 0 -1 0 1]
 333 #[ 1 -1 0 0 -2 0 0 0 3 0]
 334 #[ 1 1 0 0 3 0 0 0 -4 0]
 335 )
 336 ()
 337 )
 338 ()
 339 )
 340 )
 341 (if #[ 0 -4 0 7 -1 -2 -2]
 342 ()
 343 (if #[ 0 -6 4 3 -1 0 0]
 344 (if #[ 0 -4 0 7 -1 -2 0]
 345 (if #[ 0 4 0 -7 1 2 0]
 346 (newparm 6 (div #[ 0 1 0 1 1 1 0]
 347  2)
 348 )
 349 (if #[ 0 2 0 -9 -1 0 4 0]
 350 (newparm 7 (div #[ 0 1 0 0 0 1 0 1]
 351  2)
 352 )
 353 (newparm 8 (div #[ 0 2 0 3 3 0 0 0 0]
 354  4)
 355 )
 356 (list #[ 1 -1 0 1 0 0 0 0 0 0]
 357 #[ 1 -1 0 0 1 0 0 0 0 0]
 358 #[ 1 2 0 3 3 2 0 -2 -4 2]
 359 #[ 1 -2 0 4 0 0 -1 0 0 0]
 360 #[ 1 1 0 -3 0 0 1 0 0 0]
 361 #[ 1 -1 0 1 0 0 0 0 0 0]
 362 #[ 1 0 0 0 0 1 0 -1 0 1]
 363 #[ 1 -1 0 -3 -2 0 0 0 3 0]
 364 #[ 1 1 0 4 3 0 0 0 -4 0]
 365 )
 366 ()
 367 )
 368 ()
 369 )
 370 (newparm 6 (div #[ 0 1 0 0 0 1 0]
 371  2)
 372 )
 373 (if #[ 0 -9 4 3 -1 -3 6 0]
 374 (if #[ 0 -1 0 0 0 -1 2 0]
 375 (newparm 7 (div #[ 0 3 0 3 3 1 2 0]
 376  4)
 377 )
 378 (if #[ 0 -6 0 -3 -3 -4 4 4 0]
 379 (newparm 8 (div #[ 0 0 0 0 0 1 2 2 0]
 380  3)
 381 )
 382 (newparm 9 (div #[ 0 0 0 0 0 1 0 0 1 0]
 383  2)
 384 )
 385 (newparm 10 (div #[ 0 1 0 0 0 1 0 0 0 0 1]
 386  2)
 387 )
 388 (newparm 11 (div #[ 0 2 0 3 3 0 0 0 0 0 0 0]
 389  4)
 390 )
 391 (list #[ 1 -1 0 1 0 0 0 0 0 0 0 0 0]
 392 #[ 1 -1 0 0 1 0 0 0 0 0 0 0 0]
 393 #[ 1 2 0 3 3 2 0 0 0 0 -2 -4 2]
 394 #[ 1 0 0 0 0 1 -1 0 0 0 0 0 0]
 395 #[ 1 2 0 0 1 3 0 0 0 -3 0 0 0]
 396 #[ 1 -3 0 0 -1 -4 0 0 0 4 0 0 0]
 397 #[ 1 0 0 0 0 1 0 0 0 0 -1 0 1]
 398 #[ 1 -1 0 -3 -2 0 0 0 0 0 0 3 0]
 399 #[ 1 1 0 4 3 0 0 0 0 0 0 -4 0]
 400 )
 401 ()
 402 )
 403 ()
 404 )
 405 ()
 406 )
 407 )
 408 ()
 409 )
 410 )
 411 )
 412 ()
 413 )
 414 ()
 415 )
 416 )
 417 ()
 418 )
 419 )