
<html><head></head><body><div class="yahoo-style-wrap" style="font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:13px;"><div dir="ltr" data-setdir="false">Dear Scip,</div><div dir="ltr" data-setdir="false"><br></div><div dir="ltr" data-setdir="false"><div>C1: x1 + x2 + x3 >= 1, all var binary. This is a standard logic cons<br>C2: x1 - x2 + x3 >= 1, all var binary<br><br>SCIPcreateConsLogicor() is designed for users to handle creation of C1. This is a function createNormalizedLogicor(), which handles C2 & it is called by SCIP_DECL_LINCONSUPGD(linconsUpgdLogicor). Is there a way for user to create C2 directly, as per creation of C1 using SCIPcreateConsLogicor()?</div><div><br></div></div></div></body></html>