forked from JuliaReach/ReachabilityAnalysis.jl
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathProject.toml
More file actions
61 lines (57 loc) · 2.11 KB
/
Copy pathProject.toml
File metadata and controls
61 lines (57 loc) · 2.11 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
name = "ReachabilityAnalysis"
uuid = "1e97bd63-91d1-579d-8e8d-501d2b57c93f"
authors = ["mforets <mforets@gmail.com>", "schillic <christian.schilling@ist.ac.at>"]
version = "0.1.0"
[deps]
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"
Printf = "de0858da-6303-5e67-8744-51eddeeeb8d7"
ProgressMeter = "92933f4c-e287-5a05-a399-4b506db050ca"
RecipesBase = "3cdcf5f2-1ef4-517c-9805-6587b60abb01"
RecursiveArrayTools = "731186ca-8d62-57ce-b412-fbd966d074cd"
Reexport = "189a3867-3050-52da-a836-e630ba90ab69"
Requires = "ae029012-a4dd-5104-9daa-d747884805df"
SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
StaticArrays = "90137ffa-7385-5640-81b9-e52037218182"
UnPack = "3a884ed6-31ef-47d7-9d2a-63182c4928ed"
TaylorIntegration = "92b13dbe-c966-51a2-8445-caca9f8a7d42"
TaylorModels = "314ce334-5f6e-57ae-acf6-00b6e903104a"
TaylorSeries = "6aa5eb33-94cf-58f4-a9d0-e4b2c4fc25ea"
[extras]
CDDLib = "3391f64e-dcde-5f30-b752-e11513730f60"
DifferentialEquations = "0c46a032-eb83-5123-abaf-570d42b7fbaa"
Expokit = "a1e7a1ef-7a5d-5822-a38c-be74e1bb89f4"
Optim = "429524aa-4258-5aef-a3af-852621145aeb"
Polyhedra = "67491407-f73d-577b-9b50-8179a7c68029"
SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
[compat]
CDDLib = "0.5.3"
DifferentialEquations = "6.11"
Expokit = "0.2"
HybridSystems = "0.3"
IntervalArithmetic = "0.16"
IntervalMatrices = "0.6"
LazySets = "1.27"
MathematicalSystems = "0.11"
Optim = "0.19, 0.20"
Parameters = "0.12"
Polyhedra = "0.5"
ProgressMeter = "1.2"
RecipesBase = "0.6, 0.7, 0.8"
RecursiveArrayTools = "2.1"
Reexport = "0.2"
Requires = "0.5, 1.0"
StaticArrays = "0.12"
TaylorIntegration = "0.6, 0.7, 0.8"
TaylorModels = "0.3"
TaylorSeries = "0.10"
UnPack = "0.1"
julia = "1.3"
[targets]
test = ["CDDLib", "Polyhedra", "SparseArrays", "Test"]