Project.toml

name = "SwitchOnSafety"
uuid = "ceb7f16a-07bf-5f4a-9354-b68f01b1610f"
repo = "https://github.com/blegat/SwitchOnSafety.jl.git"
version = "0.3.0"

[deps]
Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa"
DynamicPolynomials = "7c1d4256-1411-5781-91ec-d7bc3513ac07"
FillArrays = "1a297f60-69ca-5386-bcde-b61e274b549b"
GraphPlot = "a2cc645c-3eea-5389-862e-a155d0052231"
Graphs = "86223c79-3864-5bf0-83f7-82e725a168b6"
HybridSystems = "2207ec0c-686c-5054-b4d2-543502888820"
JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
MathOptInterface = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"
MathematicalSystems = "d14a8603-c872-5ed3-9ece-53e0e82e39da"
MultivariateMoments = "f4abf1af-0426-5881-a0da-e2f168889b5e"
MultivariatePolynomials = "102ac46a-7ee4-5c85-9060-abc95bfdeaa3"
Optim = "429524aa-4258-5aef-a3af-852621145aeb"
ParameterJuMP = "774612a8-9878-5177-865a-ca53ae2495f9"
Polyhedra = "67491407-f73d-577b-9b50-8179a7c68029"
RecipesBase = "3cdcf5f2-1ef4-517c-9805-6587b60abb01"
Reexport = "189a3867-3050-52da-a836-e630ba90ab69"
SemialgebraicSets = "8e049039-38e8-557d-ae3a-bc521ccf6204"
SetProg = "39881422-4b75-5582-a5c7-0feb14562a65"
SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
StaticArrays = "90137ffa-7385-5640-81b9-e52037218182"
Statistics = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"
SumOfSquares = "4b9e565b-77fc-50a5-a571-1244f986bda1"

[compat]
Combinatorics = "1"
DynamicPolynomials = "0.5, 0.6"
FillArrays = "1"
GraphPlot = "0.3, 0.4, 0.5, 0.6"
Graphs = "1"
HybridSystems = "0.4"
JuMP = "1"
MathOptInterface = "1"
MathematicalSystems = "0.11, 0.12, 0.13"
MultivariateMoments = "0.4"
MultivariatePolynomials = "0.5"
Optim = "1"
ParameterJuMP = "0.4"
Polyhedra = "0.7"
RecipesBase = "1"
Reexport = "1"
SemialgebraicSets = "0.3"
SetProg = "0.4"
StaticArrays = "1"
SumOfSquares = "0.7"
julia = "1.6"