NeuralNetworkReachability.jl/Project.toml at master · JuliaReach/NeuralNetworkReachability.jl · GitHub

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
name = "NeuralNetworkReachability"
uuid = "5de1e908-2f08-45bf-a571-ac88a54f7e7f"
version = "0.1.14"

[deps]
ControllerFormats = "02ac4b2c-022a-44aa-84a5-ea45a5754bcc"
LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
ReachabilityBase = "379f33d0-9447-4353-bd03-d664070e549f"
Reexport = "189a3867-3050-52da-a836-e630ba90ab69"
Requires = "ae029012-a4dd-5104-9daa-d747884805df"

[compat]
ControllerFormats = "0.2.3"
IntervalConstraintProgramming = "0.9 - 0.15"
LazySets = "3 - 6"
LinearAlgebra = "<0.0.1, 1.6"
ReachabilityAnalysis = "0.22 - 0.31"
ReachabilityBase = "0.2.1 - 0.3"
Reexport = "0.2, 1"
Requires = "0.5, 1"
TaylorIntegration = "0.15 - 0.18"
TaylorModels = "0.7 - 0.10"
julia = "1.6"

[extensions]
IntervalConstraintProgrammingExt = "IntervalConstraintProgramming"
ReachabilityAnalysisExt = ["ReachabilityAnalysis", "TaylorIntegration", "TaylorModels"]

[extras]
IntervalConstraintProgramming = "138f1668-1576-5ad7-91b9-7425abbf3153"
ReachabilityAnalysis = "1e97bd63-91d1-579d-8e8d-501d2b57c93f"
TaylorIntegration = "92b13dbe-c966-51a2-8445-caca9f8a7d42"
TaylorModels = "314ce334-5f6e-57ae-acf6-00b6e903104a"

[weakdeps]
IntervalConstraintProgramming = "138f1668-1576-5ad7-91b9-7425abbf3153"
ReachabilityAnalysis = "1e97bd63-91d1-579d-8e8d-501d2b57c93f"
Requires = "ae029012-a4dd-5104-9daa-d747884805df"
TaylorIntegration = "92b13dbe-c966-51a2-8445-caca9f8a7d42"
TaylorModels = "314ce334-5f6e-57ae-acf6-00b6e903104a"