[SCIP] Creation of (more general) logior constraint

Chuen Teck See see_chuenteck at yahoo.com.sg
Thu Aug 15 04:02:15 CEST 2019


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()?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20190815/ed1228b4/attachment.html>


More information about the Scip mailing list