[SCIP] Creation of (more general) logior constraint

[Benjamin Müller]

Dear Chuen,

you could use SCIPgetNegatedVar(...) to get/create a negated variable 
and use this variable to model C2 as logic-OR constraint.

Best,
Benjamin

On 8/15/19 4:02 AM, Chuen Teck See wrote:
> Dear Scip,
> 
> C1: x1 + x2 + x3 >= 1, all var binary. This is a standard logic cons
> C2: x1 - x2 + x3 >= 1, all var binary
> 
> 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()?
> 
> 
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip
> 

-- 
______________________________
Benjamin Müller
Zuse Institute Berlin
Takustr. 7, 14195 Berlin
benjamin.mueller at zib.de
+49 30 841 85-195