Project.toml

name = "HySynthParametric"
uuid = "2a5ad1de-1e0a-493e-9597-f3e6f045583c"
version = "0.1.0"

[deps]
CDDLib = "3391f64e-dcde-5f30-b752-e11513730f60"
Clustering = "aaaa29a8-35af-508c-8bc3-b662a17a0fe5"
DataStructures = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8"
DelimitedFiles = "8bb1440f-4735-579b-a4ab-409b98df4dab"
DifferentialEquations = "0c46a032-eb83-5123-abaf-570d42b7fbaa"
Distances = "b4f34e82-e78d-54a5-968a-f98e89d6e8f7"
FileIO = "5789e2e9-d7fb-5bc7-8068-2c6fae9b9549"
HybridSystems = "2207ec0c-686c-5054-b4d2-543502888820"
JLD2 = "033835bb-8acc-5ee8-8aae-3f567f8a3819"
LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
MathematicalSystems = "d14a8603-c872-5ed3-9ece-53e0e82e39da"
Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80"
Polyhedra = "67491407-f73d-577b-9b50-8179a7c68029"
Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
ReachabilityAnalysis = "1e97bd63-91d1-579d-8e8d-501d2b57c93f"
Symbolics = "0c5d862f-8b57-4792-8d23-62f2024744c7"
TaylorIntegration = "92b13dbe-c966-51a2-8445-caca9f8a7d42"

[compat]
CDDLib = "0.9.1"
Clustering = "0.14.2"
DataStructures = "0.18.13"
DifferentialEquations = "6.17.2"
Distances = "0.10.7"
FileIO = "1.14.0"
HybridSystems = "0.4"
JLD2 = "0.4.22"
LazySets = "1.58"
MathematicalSystems = "0.11.11"
Plots = "1.31.2"
Polyhedra = "0.7.5"
ReachabilityAnalysis = "0.19"
Symbolics = "4.8.3"
TaylorIntegration = "0.9.1"