# List of JuMP solvers that have a compute\_conflict! function implemented

**URL:** <https://discourse.julialang.org/t/list-of-jump-solvers-that-have-a-compute-conflict-function-implemented/51825>\
**Category:** Optimization (Mathematical)\
**Created:** [December 14, 2020, 8:22pm UTC](https://discourse.julialang.org/t/list-of-jump-solvers-that-have-a-compute-conflict-function-implemented/51825 "2020-12-14T20:22:54Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![bhalonen](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/bhalonen/32/9848_2.png) [@bhalonen](https://discourse.julialang.org/u/bhalonen)\
**Post date:** [December 14, 2020, 8:22pm UTC](https://discourse.julialang.org/t/list-of-jump-solvers-that-have-a-compute-conflict-function-implemented/51825/1 "2020-12-14T20:22:54Z")

</div>

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?

---

<div class="post-metadata">

**Author:** ![odow](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/odow/32/28685_2.png) [@odow](https://discourse.julialang.org/u/odow)\
**Post date:** [December 14, 2020, 8:48pm UTC](https://discourse.julialang.org/t/list-of-jump-solvers-that-have-a-compute-conflict-function-implemented/51825/2 "2020-12-14T20:48:55Z")

</div>

We still need to fix a few things before `compute_conflict` works smoothly with JuMP: [https://github.com/jump-dev/MathOptInterface.jl/issues/1203](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.

---

<div class="post-metadata">

**Author:** ![bhalonen](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/bhalonen/32/9848_2.png) [@bhalonen](https://discourse.julialang.org/u/bhalonen)\
**Post date:** [December 14, 2020, 9:05pm UTC](https://discourse.julialang.org/t/list-of-jump-solvers-that-have-a-compute-conflict-function-implemented/51825/3 "2020-12-14T21:05:19Z")

</div>

Thanks for the quick answer.