test/boulet.dat

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