Use MathOptIIS (#54)

* Use MathOptIIS

* format

Author: joaquimg

Project.toml

@@ -5,6 +5,7 @@ version = "0.1.0"
 [deps]
 Dualization = "191a621a-6537-11e9-281d-650236a99e60"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
+MathOptIIS = "8c4f8055-bd93-4160-a86b-a0c04941dbff"
 MathOptInterface = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"
 Printf = "de0858da-6303-5e67-8744-51eddeeeb8d7"
 
@@ -17,5 +18,6 @@ MathOptAnalyzerJuMPExt = "JuMP"
 [compat]
 Dualization = "0.6.0"
 JuMP = "1.24.0"
+MathOptIIS = "0.1.0"
 MathOptInterface = "1.37.0"
 julia = "1.10"

src/Infeasibility/Infeasibility.jl

@@ -8,9 +8,6 @@ module Infeasibility
 import MathOptInterface as MOI
 import MathOptAnalyzer
 
-include("intervals.jl")
-include("_eval_variables.jl")
-
 include("structs.jl")
 include("analyze.jl")
 include("summarize.jl")