[SCIP] The rule of the slack variable in an indicator constraint

[Abbas Omidi]

Dear support team,

In the SCIP the indicator constraint can be written as indcons(expression,
binary_var). Then it is interpreted as follows: (based on ".cip" format)

*LHS - slack (<=/=/>=) RHS*
*If: (binary_var = 1) -> (slack = 0)*

As far as I know, CPLEX and maybe Gurobi have used binary variables and
whose linking to linearize the logical constraints. I am actually not aware
of their internal mechanism. Now, I would like to know how the SCIP can
deal with indicator constraint internally, and also the rule of the slack
variable in this form, and if is it necessary to use that instead of using
e.g. a *BigM* approach.


Best regards
Abbas
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20230821/83803543/attachment.html>