<div dir="auto"><div style="font-family:sans-serif;font-size:12.8px" dir="auto">Hi all,</div><div style="font-family:sans-serif;font-size:12.8px" dir="auto">Hope you are well. I've done quite a few experiments trying to understand this question but I don't manage to understand the rationale. </div><div style="font-family:sans-serif;font-size:12.8px" dir="auto"><br></div><div style="font-family:sans-serif;font-size:12.8px" dir="auto">Do you know what SCIP does when you add an arbitrary constraint containing a variable which was not declared (free variable), and thus no bounds were provided?</div><div style="font-family:sans-serif;font-size:12.8px" dir="auto"><br></div><div style="font-family:sans-serif;font-size:12.8px" dir="auto">Example, (t_0 not declared):</div><div style="font-family:sans-serif;font-size:12.8px" dir="auto"><br></div><div style="font-family:sans-serif;font-size:12.8px" dir="auto">Minimize<br>0<br>Subject To<br> c1: i_0 + i_1 > 11<br> c2: i_0 - 2 i_1 > -1<br> c3: t_0 > 40<br>Bounds<br> 0 <= i_0 <= 1000<br> 0 <= i_1 <= 1000<br>End</div><div style="font-family:sans-serif;font-size:12.8px" dir="auto"><br></div><div style="font-family:sans-serif;font-size:12.8px" dir="auto">According to what I've seen t_0 could have any value and is ocassionally replaced by one of the declared variables.</div><div style="font-family:sans-serif;font-size:12.8px" dir="auto"><br></div><div style="font-family:sans-serif;font-size:12.8px" dir="auto">Many thanks in advance.</div><div style="font-family:sans-serif;font-size:12.8px" dir="auto"><br></div><div style="font-family:sans-serif;font-size:12.8px" dir="auto">Samuel.</div><div style="font-family:sans-serif;font-size:12.8px" dir="auto">Ph.D Candidate.</div></div>