Indicator constraints are not valid when the indicator variable is not binary. We should be throwing an error here: [Bridges] no error thrown when IndicatorToMILPBridge does not imply first variable is binary · Issue #2856 · jump-dev/MathOptInterface.jl · GitHub