test/boulet.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 )
  33 (if #[ 0 -9 4 3 -1 -3 6 0]
  34 (if #[ 0 -1 0 0 0 -1 2 0]
  35 (newparm 7 (div #[ 0 3 0 3 3 1 2 0]
  36  4)
  37 )
  38 (if #[ 0 -6 0 -3 -3 -4 4 4 0]
  39 (newparm 8 (div #[ 0 0 0 0 0 1 2 2 0]
  40  3)
  41 )
  42 (newparm 9 (div #[ 0 0 0 0 0 1 0 0 1 0]
  43  2)
  44 )
  45 (newparm 10 (div #[ 0 1 0 0 0 1 0 0 0 0 1]
  46  2)
  47 )
  48 (newparm 11 (div #[ 0 2 0 3 3 0 0 0 0 0 0 0]
  49  4)
  50 )
  51 (list #[ 1 -1 0 1 0 0 0 0 0 0 0 0 0]
  52 #[ 1 -1 0 0 1 0 0 0 0 0 0 0 0]
  53 #[ 1 2 0 3 3 2 0 0 0 0 -2 -4 2]
  54 #[ 1 0 0 0 0 1 -1 0 0 0 0 0 0]
  55 #[ 1 2 0 0 1 3 0 0 0 -3 0 0 0]
  56 #[ 1 -3 0 0 -1 -4 0 0 0 4 0 0 0]
  57 #[ 1 0 0 0 0 1 0 0 0 0 -1 0 1]
  58 #[ 1 -1 0 -3 -2 0 0 0 0 0 0 3 0]
  59 #[ 1 1 0 4 3 0 0 0 0 0 0 -4 0]
  60 )
  61 ()
  62 )
  63 ()
  64 )
  65 ()
  66 )
  67 ()
  68 ()
  69 ()
  70 ()
  71 )