Project.toml

name = "ReachabilityAnalysis"
uuid = "1e97bd63-91d1-579d-8e8d-501d2b57c93f"
version = "0.27.0"

[deps]
CarlemanLinearization = "4803f6b2-022a-4c1b-a771-522a3413ec86"
CommonSolve = "38540f10-b2f7-11e9-35d8-d573e4eb0ff2"
ExprTools = "e2ba6199-217a-4e67-a87a-7c52f15ade04"
HybridSystems = "2207ec0c-686c-5054-b4d2-543502888820"
IntervalArithmetic = "d1acc4aa-44c8-5952-acd4-ba5d80a2a253"
IntervalMatrices = "5c1f47dc-42dd-5697-8aaa-4d102d140ba9"
LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
MathematicalSystems = "d14a8603-c872-5ed3-9ece-53e0e82e39da"
Parameters = "d96e819e-fc66-5662-9728-84c9c7592b0a"
Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
ReachabilityBase = "379f33d0-9447-4353-bd03-d664070e549f"
RecipesBase = "3cdcf5f2-1ef4-517c-9805-6587b60abb01"
Reexport = "189a3867-3050-52da-a836-e630ba90ab69"
Requires = "ae029012-a4dd-5104-9daa-d747884805df"
SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
StaticArrays = "90137ffa-7385-5640-81b9-e52037218182"
TaylorIntegration = "92b13dbe-c966-51a2-8445-caca9f8a7d42"
TaylorModels = "314ce334-5f6e-57ae-acf6-00b6e903104a"
TaylorSeries = "6aa5eb33-94cf-58f4-a9d0-e4b2c4fc25ea"

[compat]
CarlemanLinearization = "0.3 - 0.4"
CommonSolve = "0.2"
ExprTools = "0.1"
HybridSystems = "0.4"
IntervalArithmetic = "0.16 - 0.20, =0.20.9"  # new versions require updates and are incompatible with dependencies
IntervalMatrices = "0.11"
LazySets = "2.14, 3"
LinearAlgebra = "<0.0.1, 1.6"
MathematicalSystems = "0.11 - 0.13"
Parameters = "0.10 - 0.12"
Random = "<0.0.1, 1.6"
ReachabilityBase = "0.3.1"
RecipesBase = "0.6 - 0.8, 1"
Reexport = "0.2, 1"
Requires = "0.5, 1"
SparseArrays = "<0.0.1, 1.6"
StaticArrays = "0.12, 1"
TaylorIntegration = "0.15"
TaylorModels = "0.7"
TaylorSeries = "0.17"
julia = "1.6"