Use solver's IIS if supported #63

Activity

1. ValentinKaisermayer commented on Jun 15, 2026

   

   ValentinKaisermayer

   on Jun 15, 2026

   Contributor

   More actions

   Since there is no MOI.supports(::ComputeConflict) the only way I see is to make a ext/MathOptAnalyzerGurobiExt where

   function MathOptAnalyzer.analyze(
       ::MathOptAnalyzer.Feasibility.Analyzer,
       model::MOI.ModelLike; 
       optimizer = nothing, # kwargs; cannot dispatch
   )

   is dispatched on.
2. odow commented on Jun 15, 2026

   

   odow

   on Jun 15, 2026

   MemberAuthor

   More actions

   The other option would be a try-catch
3. odow

   closed this as completedin #79on Jul 21, 2026