Inner Optimizer does not use bridges

[odow]

I think this is the cause of https://discourse.julialang.org/t/unsupported-constraint-only-in-infeasibility-analysis/135721/4

But I need to construct a reproducible example to confirm.

https://github.com/jump-dev/MathOptIIS.jl/blob/8b17520300b783791737a0487172c22f88c97cb9/src/solver.jl#L28

[ValentinKaisermayer]

I tried to export the models as MOF but got this:

ERROR: MethodError: no method matching (MathOptInterface.Utilities.UniversalFallback{…} where T)(; generic_names::Bool)
This method does not support all of the given keyword arguments (and may not support any).

Closest candidates are:
  (MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.GenericModel{T, MathOptInterface.Utilities.ObjectiveContainer{T}, MathOptInterface.Utilities.VariablesContainer{T}, MathOptInterface.FileFormats.MOF.InnerModelFunctionConstraints{T}}} where T)(; print_compact, warn, differentiation_backend, use_nlp_block, coefficient_type) got unsupported keyword argument "generic_names"

[odow]

MOF files don't (currently) support generic_names. I've opened an issue: jump-dev/MathOptInterface.jl#2945. I can throw a nicer error message as well.