From 1d3ed7a0d8930386ca5b55acacdff25df53820c6 Mon Sep 17 00:00:00 2001 From: Licio Date: Tue, 7 May 2024 11:50:45 -0700 Subject: [PATCH] Fixing compatibility issues between JuMP and GLPK --- src/overt_to_mip.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/overt_to_mip.jl b/src/overt_to_mip.jl index fc4652d..03dd13a 100644 --- a/src/overt_to_mip.jl +++ b/src/overt_to_mip.jl @@ -48,7 +48,7 @@ end function OvertMIP(overt_app::OverApproximation; threads=0, model=DEFAULT_MODEL) if model == "glpk" || model == "GLPK" model = Model(GLPK.Optimizer) - set_optimizer_attribute(model, "msg_lev", GLPK.MSG_OFF) + set_optimizer_attribute(model, "msg_lev", GLPK.GLP_MSG_OFF) elseif model == "gurobi" || model == "Gurobi" println("Calling OvertMIP constructor with Gurobi.") model = gurobi_model(threads) # if Gurobi hasn't been loaded this will fail