<div dir="ltr"><div class="gmail_default">







<p class=""><font face="arial, helvetica, sans-serif">Hi SCIP folks,<br></font></p>
<p class=""><font face="arial, helvetica, sans-serif">I am pretty new to SCIP. A quick and specific question. Can I use the resultant of a OR constraint as a variable in another linear constraint?</font></p>
<p class=""><font face="arial, helvetica, sans-serif">Adding some details, I am going to solve such a question: </font></p>
<p class=""><font face="arial, helvetica, sans-serif">  r1 = x1 OR x2 OR … OR x_m1</font></p>
<p class=""><font face="arial, helvetica, sans-serif">  r2  = x_(m1+1) … OR x_m2</font></p>
<p class=""><font face="arial, helvetica, sans-serif">  ….</font></p><p class=""><font face="arial, helvetica, sans-serif">  rk = x_(m_(k-1) + 1) … Or x_mk</font></p>
<p class=""><font face="arial, helvetica, sans-serif">  lhs <= c1*r1 + c2*r2 +… + ck*rk <= rhs<br></font></p>
<p class=""><font face="arial, helvetica, sans-serif">So r_i are resultants of those cons_or instances. While in the linear constraint, r_i are used as variables. Is it valid to `SCIPgetResultantOr’ to obtain r_i and directly add it to the linear constraint?<br>
</font></p>
<p class=""><font face="arial, helvetica, sans-serif">BTW, to me, cons_or is something more like an operation rather than a constraint. Correct me if I am wrong, please.<br></font></p>
<p class=""><font face="arial, helvetica, sans-serif">Best regards,</font></p>
<p class=""><font face="arial, helvetica, sans-serif">--</font></p>
<p class=""><font face="arial, helvetica, sans-serif">Gang</font></p></div></div>