Documentation Request: List whether a solver supports Indicator Constraints about jump.jl HOT 4 CLOSED

You should find it in this list: https://jump.dev/JuMP.jl/stable/packages/Gurobi/#MathOptInterface-API
However, it seems to be supported in the MOI wrapper of Gurobi but not in this list. @odow will be able to help when the sun starts shining in New Zealand

from jump.jl.

I was just pointed to the fact, that a bridge actually exists.

I was falsely assuming there is no bridge. Sorry. Probably because I read the Tips and Tricks section where Indicator constraints are mentioned to be only supported by a couple of solvers.

https://jump.dev/JuMP.jl/stable/tutorials/linear/tips_and_tricks/#Indicator-constraints

It would be great if this section is updated/deleted. Plus that the section about Disjunctions gets an alternative implementation using Indicator Constraints.

from jump.jl.

not are they listed on the solver's summary page whether it is supported or not.

This is an oversight on my part. I guess the script I ran didn't catch indicators 😢

It would be great if this section is updated/deleted

To clarify, what section?

Plus that the section about Disjunctions gets an alternative implementation using Indicator Constraints.

I will add: #3702

from jump.jl.

Thank you for your help.

I mean that the Indicator section does not need the Trick2 part, the manual workaround in case a solver does not support it. Instead mention that the MOI bridge already does that, as soon as one restricts the variables to a finite domain.

from jump.jl.