Replies: 4 comments 3 replies
-
Hey, yes we plan to add support for indicators and SOS constraints eventually, but not for the first release. Since indicators can be formulated with big-M formulation that usually perform well we don't see it as an essential feature for the first release. For SOS constraints we don't see them as useful as long as their special structure is not exploited in the solver which requires a bit more work than just parsing the MPS extensions and is not in the scope of the first release. |
Beta Was this translation helpful? Give feedback.
-
An extra motivation... |
Beta Was this translation helpful? Give feedback.
-
@jajhall @galabovaa Three years have passed since this was asked. What are your thoughts on adding SOS constraints now? |
Beta Was this translation helpful? Give feedback.
-
This has changed in the past couple of years |
Beta Was this translation helpful? Give feedback.
-
Hi,
one of my favourite features of solvers like Gurobi, Cplex and SCIP is the support for indicator constraints, i.e. constraints of the form
It's a convenient way to model if-then decisions in MIPs without resorting to big-M formulations. Gurobi, Cplex and SCIP offer methods to add special constraints (SOS1, Indicator, PWL, ..) and also extend the MPS file format in several ways including Indicator constraints, see here.
Are there any plans to add support for such constraints?
PS: SCIP seems to handle indicator constraints internally by the following reformulation (1), see here:
Beta Was this translation helpful? Give feedback.
All reactions