You might be interested to read this post from last year: Which JuMP solvers support compute_conflict!?