diff --git a/Project.toml b/Project.toml index 723022d..d89eaaf 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "SwitchOnSafety" uuid = "ceb7f16a-07bf-5f4a-9354-b68f01b1610f" repo = "https://github.com/blegat/SwitchOnSafety.jl.git" -version = "0.2.0" +version = "0.2.1" [deps] Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa" @@ -30,11 +30,14 @@ SumOfSquares = "4b9e565b-77fc-50a5-a571-1244f986bda1" [compat] Combinatorics = "1" +CSDP = "1" DynamicPolynomials = "0.4" +ECOS = "1" FillArrays = "0.7, 0.8, 0.9, 0.10, 0.11, 0.12, 0.13" +GLPK = "1" GraphPlot = "0.3, 0.4, 0.5" HybridSystems = "0.3" -JuMP = "0.23" +JuMP = "0.23, 1" LightGraphs = "1" MathOptInterface = "1" MathematicalSystems = "0.11"