From 0202cffc22fd6880405201f713e85bd3f056f5d8 Mon Sep 17 00:00:00 2001 From: Licio Date: Tue, 7 May 2024 11:07:06 -0700 Subject: [PATCH 1/2] minor --- src/OVERTVerify.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/OVERTVerify.jl b/src/OVERTVerify.jl index 1caa518..ca76a0f 100644 --- a/src/OVERTVerify.jl +++ b/src/OVERTVerify.jl @@ -3,6 +3,7 @@ module OVERTVerify include("dependencies.jl") export OvertQuery, + SinglePendulum, ACC, SimpleCar, From 1d3ed7a0d8930386ca5b55acacdff25df53820c6 Mon Sep 17 00:00:00 2001 From: Licio Date: Tue, 7 May 2024 11:50:45 -0700 Subject: [PATCH 2/2] 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