Update

Author: odow

Project.toml

@@ -16,7 +16,7 @@ JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
 MathOptAnalyzerJuMPExt = "JuMP"
 
 [compat]
-Dualization = "0.6"
+Dualization = "0.7"
 JuMP = "1.24"
 MathOptIIS = "0.2"
 MathOptInterface = "1.37"

src/Infeasibility/analyze.jl

@@ -3,9 +3,14 @@
 # Use of this source code is governed by an MIT-style license that can be found
 # in the LICENSE.md file or at https://opensource.org/licenses/MIT.
 
-function _add_result(out::Data, model, iis, meta::MathOptIIS.BoundsData)
+function _add_result(
+    out::Data,
+    model,
+    iis,
+    meta::MathOptIIS.Metadata{T,Nothing},
+) where {T}
     @assert length(iis.constraints) == 2
-    err = InfeasibleBounds{Float64}(
+    err = InfeasibleBounds{T}(
         MOI.get(model, MOI.ConstraintFunction(), iis.constraints[1]),
         meta.lower_bound,
         meta.upper_bound,
@@ -14,9 +19,14 @@ function _add_result(out::Data, model, iis, meta::MathOptIIS.BoundsData)
     return
 end
 
-function _add_result(out::Data, model, iis, meta::MathOptIIS.IntegralityData)
+function _add_result(
+    out::Data,
+    model,
+    iis,
+    meta::MathOptIIS.Metadata{T,S},
+) where {T,S<:Union{MOI.Integer,MOI.ZeroOne}}
     @assert length(iis.constraints) >= 2
-    err = InfeasibleIntegrality{Float64}(
+    err = InfeasibleIntegrality{T}(
         MOI.get(model, MOI.ConstraintFunction(), iis.constraints[1]),
         meta.lower_bound,
         meta.upper_bound,
@@ -26,13 +36,18 @@ function _add_result(out::Data, model, iis, meta::MathOptIIS.IntegralityData)
     return
 end
 
-function _add_result(out::Data, model, iis, meta::MOMathOptIISIIS.RangeData)
+function _add_result(
+    out::Data,
+    model,
+    iis,
+    meta::MathOptIIS.Metadata{T,S},
+) where {T,S<:MOI.AbstractSet}
     @assert length(iis.constraints) >= 1
     for con in iis.constraints
         if con isa MOI.ConstraintIndex{MOI.VariableIndex}
             continue
         end
-        err = InfeasibleConstraintRange{Float64}(
+        err = InfeasibleConstraintRange{T}(
             con,
             meta.lower_bound,
             meta.upper_bound,

test/Project.toml

@@ -10,4 +10,4 @@ Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 HiGHS = "1"
 JuMP = "1"
 MathOptInterface = "1"
-SCS = "1"
+SCS = "2"

test/test_Infeasibility.jl

@@ -32,7 +32,7 @@ function test_bounds()
     data =
         MathOptAnalyzer.analyze(MathOptAnalyzer.Infeasibility.Analyzer(), model)
     list = MathOptAnalyzer.list_of_issue_types(data)
-    @test length(list) == 1
+    @test 1 <= length(list) <= 2
     ret = MathOptAnalyzer.list_of_issues(data, list[1])
     @test length(ret) == 1
     @test ret[] == MathOptAnalyzer.Infeasibility.InfeasibleBounds{Float64}(
@@ -81,7 +81,7 @@ function test_integrality()
     data =
         MathOptAnalyzer.analyze(MathOptAnalyzer.Infeasibility.Analyzer(), model)
     list = MathOptAnalyzer.list_of_issue_types(data)
-    @test length(list) == 1
+    @test 1 <= length(list) <= 2
     ret = MathOptAnalyzer.list_of_issues(data, list[1])
     @test length(ret) == 1
     @test ret[] == MathOptAnalyzer.Infeasibility.InfeasibleIntegrality{Float64}(