fix GLPK v1 interface

Author: schillic

Project.toml

@@ -10,6 +10,7 @@ InteractiveUtils = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
 IntervalArithmetic = "d1acc4aa-44c8-5952-acd4-ba5d80a2a253"
 JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
+Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
 Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
 RecipesBase = "3cdcf5f2-1ef4-517c-9805-6587b60abb01"
 Reexport = "189a3867-3050-52da-a836-e630ba90ab69"

src/Initialization/init_GLPK.jl

@@ -0,0 +1,8 @@
+# define constants whose name changed with different versions
+mf = Pkg.Operations.Context().env.manifest
+ver = mf[findfirst(v -> v.name == "GLPK", mf)].version
+if ver >= v"1"
+    const GLPK_ON = GLPK.GLP_ON
+else
+    const GLPK_ON = GLPK.ON
+end

src/Initialization/init_Polyhedra.jl

@@ -25,7 +25,7 @@ eval(quote
                                          presolve::Bool=true)
         if presolve
             return JuMP.optimizer_with_attributes(GLPK.Optimizer,
-                                                  "presolve" => GLPK.ON)
+                                                  "presolve" => GLPK_ON)
         else
             return JuMP.optimizer_with_attributes(GLPK.Optimizer)
         end
@@ -36,7 +36,7 @@ eval(quote
         if presolve
             return JuMP.optimizer_with_attributes(
                 () -> GLPK.Optimizer(method=GLPK.EXACT),
-                "presolve" => GLPK.ON)
+                "presolve" => GLPK_ON)
         else
             return JuMP.optimizer_with_attributes(
                 () -> GLPK.Optimizer(method=GLPK.EXACT))

src/LazySets.jl

@@ -7,7 +7,7 @@ using LinearAlgebra, Reexport, Requires, SparseArrays
 using LinearAlgebra: checksquare
 import LinearAlgebra: norm, ×, normalize, normalize!
 import SparseArrays: permute
-import Random
+import Pkg, Random
 using Random: AbstractRNG, GLOBAL_RNG, SamplerType, shuffle, randperm
 import InteractiveUtils: subtypes
 import JuMP, GLPK
@@ -31,6 +31,7 @@ activate_assertions(LazySets)
 # ==================
 # Linear programming
 # ==================
+include("Initialization/init_GLPK.jl")
 include("Initialization/init_JuMP.jl")
 
 # =====================