I am interested in using the
compute_conflict! function in JuMP, I noticed that Gurobi.jl and CPLEX.jl are cited in the documentation in a comment as available solvers. I also found that Xpress.jl has the same functionality.
What is the full list of LP solvers that have this function?
We still need to fix a few things before
compute_conflict works smoothly with JuMP: https://github.com/jump-dev/MathOptInterface.jl/issues/1203
I think only CPLEX, Gurobi, and Xpress at this point. It requires the underlying solver to implement IIS functionality; there is no code to do this at the Julia level.
Thanks for the quick answer.