feasibility almost ready

Author: joaquimg

Project.toml

@@ -4,12 +4,17 @@ version = "0.1.0"
 
 [deps]
 Dualization = "191a621a-6537-11e9-281d-650236a99e60"
-JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 MathOptInterface = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"
 Printf = "de0858da-6303-5e67-8744-51eddeeeb8d7"
 
+[weakdeps]
+JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
+
+[extensions]
+ModelAnalyzerJuMPExt = "JuMP"
+
 [compat]
-Dualization = "0.5.9"
+Dualization = "0.6.0"
 JuMP = "1.24.0"
 MathOptInterface = "1.37.0"

docs/Project.toml

@@ -1,3 +1,7 @@
 [deps]
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
-ModelAnalyzer = "d1179b25-476b-425c-b826-c7787f0fff83"
+ModelAnalyzer = "d1179b25-476b-425c-b826-c7787f0fff83"
+JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
+
+[compat]
+JuMP = "1.24.0"

docs/make.jl

@@ -1,4 +1,4 @@
-using Documenter, ModelAnalyzer
+using Documenter, ModelAnalyzer, JuMP
 
 makedocs(; sitename = "ModelAnalyzer.jl documentation")
 

docs/src/feasibility.md

@@ -17,7 +17,8 @@ Specifically, the possible issues are:
 
 ```@docs
 ModelAnalyzer.Feasibility.PrimalViolation
-ModelAnalyzer.Feasibility.DualViolation
+ModelAnalyzer.Feasibility.DualConstraintViolation
+ModelAnalyzer.Feasibility.DualConstrainedVariableViolation
 ModelAnalyzer.Feasibility.ComplemetarityViolation
 ModelAnalyzer.Feasibility.DualObjectiveMismatch
 ModelAnalyzer.Feasibility.PrimalObjectiveMismatch

src/jump.jl renamed to ext/ModelAnalyzerJuMPExt/ModelAnalyzerJuMPExt.jl

@@ -3,7 +3,11 @@
 # 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.
 
+module ModelAnalyzerJuMPExt
+
+import ModelAnalyzer
 import JuMP
+import MathOptInterface as MOI
 
 function ModelAnalyzer.analyze(
     analyzer::T,
@@ -74,3 +78,5 @@ function ModelAnalyzer.constraint(
     ref = ModelAnalyzer.constraint(issue)
     return JuMP.constraint_ref_with_index(model, ref)
 end
+
+end # module ModelAnalyzerJuMPExt

src/ModelAnalyzer.jl

@@ -31,6 +31,8 @@ function analyze end
 
 Print a summary of the analysis results contained in `AbstractData` to the
 specified IO stream. If no IO stream is provided, it defaults to `stdout`.
+The model that led to the issue can be provided to `model`, it will be
+used to generate the name of variables and constraints in the issue summary.
 The `verbose` flag controls whether to print detailed information about each
 issue (if `true`) or a concise summary (if `false`). The `max_issues` argument
 controls the maximum number of issues to display in the summary. If there are
@@ -202,7 +204,6 @@ end
 
 include("numerical.jl")
 include("feasibility.jl")
-include("infeasibility.jl")
+# include("infeasibility.jl")
 
-include("jump.jl")
-end
+end # module ModelAnalyzer