Hi,<br><br>Sometimes CLP gives a solution where some variable values are beyond their bounds.<br>Example below:<br><br>Maximize<br>1.2 x + 2.2 y<br>Subject To<br>eq1: 1.1 x + 2.1 y &lt;= 11<br>eq4: 1.4 x + 2.4 y &lt;= 14<br>
eq6: 1.2 x + 2.2 y - z = 10<br>eq5: z - t = 2.0000001<br>Bounds<br>x &gt;= 0<br>y &gt;= 0<br>z &gt;= 0<br>t &gt;= 0<br>End<br><br>Clp reports solution is optimal, but the resulting t is -1e-07 (beyond the limit t &gt;= 0).<br>
<br>The problem then arises during sanity check and result interpretation.<br>One can assume that constraint is satisfied if it is satisfied with tolerance derived from values of summands.<br>But there is no idea of tolerant check of variables, because there is no obvious reference point.<br>
<br>Is there some  correct way of handling variables that are beyond variables?<br><br>Regards,<br>Alex<br><br>