# SCIP constraints

**URL:** <https://discourse.julialang.org/t/scip-constraints/123206>\
**Category:** Optimization (Mathematical)\
**Created:** [November 28, 2024, 9:52am UTC](https://discourse.julialang.org/t/scip-constraints/123206 "2024-11-28T09:52:35Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![Rajender\_Mudigonda](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/rajender_mudigonda/32/52396_2.png) [@Rajender\_Mudigonda](https://discourse.julialang.org/u/Rajender_Mudigonda)\
**Post date:** [November 28, 2024, 9:52am UTC](https://discourse.julialang.org/t/scip-constraints/123206/1 "2024-11-28T09:52:35Z")

</div>

When using SCIP solver, what is the alternative for compute\_conflict!(model) to identify constraint conflicts?

---

<div class="post-metadata">

**Author:** ![jd-foster](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/jd-foster/32/35824_2.png) [@jd-foster](https://discourse.julialang.org/u/jd-foster)\
**Post date:** [November 28, 2024, 1:09pm UTC](https://discourse.julialang.org/t/scip-constraints/123206/2 "2024-11-28T13:09:54Z")

</div>

You might be interested to read this post from last year: [Which JuMP solvers support compute\_conflict!?](https://discourse.julialang.org/t/which-jump-solvers-support-compute-conflict/95733)

---

<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:** [November 28, 2024, 7:24pm UTC](https://discourse.julialang.org/t/scip-constraints/123206/3 "2024-11-28T19:24:31Z")

</div>

See also this section of the JuMP docs:

> **[Debugging · JuMP](https://jump.dev/JuMP.jl/stable/tutorials/getting_started/debugging/#Debugging-an-infeasible-model)**
>
> Documentation for JuMP.