IIS: pass slack variable value

[SouthEndMusic]

In addition to identifying the violated constraints, I would like to know how bad the violations of these constraints are if possible.

[joaquimg]

Thanks for the suggestion.
Meanwhile, are you aware of: https://jump.dev/JuMP.jl/stable/api/JuMP/#relax_with_penalty! ?

[SouthEndMusic]

Yes, we are aware of that function. We used it before the use of this package, but we still use it now to retrieve these values by relaxing the constraints that came out of the MathOptAnalyzer.jl analysis. Is something like that actually used internally in MathOptAnalyzer, i.e., are these variables already available internally?

[joaquimg]

These numbers are not readily available from the analysis.
It is possible to compute them afterwards