<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <div class="moz-cite-prefix">Yves,<br>
      <br>
      Fix is in Cgl/stable/0.58 so if you are using svn just update.&nbsp; I
      don't know when next release will be.&nbsp; As it only one file that
      has been changed you could also just download it from<br>
      <br>
      <meta http-equiv="content-type" content="text/html;
        charset=ISO-8859-1">
      <a
href="https://projects.coin-or.org/Cgl/browser/stable/0.58/Cgl/src/CglProbing/CglProbing.cpp">https://projects.coin-or.org/Cgl/browser/stable/0.58/Cgl/src/CglProbing/CglProbing.cpp</a><br>
      <br>
      The change you suggest would improve solution times by a tiny tiny
      amount - but it normally is best to keep your code as simple (and
      therefore bug free) as possible.<br>
      <br>
      John Forrest<br>
      <br>
      On 20/12/13 11:17, Yves Touchard wrote:<br>
    </div>
    <blockquote cite="mid:52B4273C.7020805@dxo.com" type="cite">John,
      <br>
      <br>
      Thank you very much for quick and efficient reply!
      <br>
      I have just a couple of questions.
      <br>
      <br>
      First, do you know when this fix will be released?
      <br>
      <br>
      Then, i am wondering if doing a constant propagation could help
      the solver.
      <br>
      My constraints file is generated by a piece of code which do not
      try to optimize them.
      <br>
      For instance, the following sequence:
      <br>
      _C0: var_0 = 0
      <br>
      _C1: var_0 + var_2 &gt;= var_3
      <br>
      <br>
      could be replaced with:
      <br>
      _c0: var_2 &gt;= var_3
      <br>
      <br>
      Yves
      <br>
    </blockquote>
    <br>
  </body>
</html>