<div dir="ltr"><div>I noticed that SCIP doesn't seem to like strict inequalities for integers. When it solves</div><div><br></div><div>Maximize<br>k<br>st<br>k < 10<br>Integer<br>k</div><div><br></div><div>I get the solution</div><div><br></div><div>solution status: optimal solution found<br>objective value:                                   10<br>k                                                  10  (obj:1)</div><div><br></div><div>When of course that's not actually feasible. :) In this case of course it's pretty simple to remedy by replacing "[foo] < N" by "[foo] <= N-1". But that's not always valid, e.g. in the problem</div><div><br></div><div>Maximize<br>halfK<br>st<br></div><div>halfK < 10</div><div>halfK + halfK = k<br></div><div>Integer<br>k</div><div><br></div><div>... in which case the correct answer is 9.5 (and SCIP think it's 10). I'm using SCIP v7.0.2. Is there any interest in fixing this, or at least, documenting it better...? I skimmed and couldn't find any warnings about not using strict inequalities.<br></div><div><br></div><div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">-- Alexander Meiburg<br></div></div></div></div></div>