NeuralNetworkReachability

Last updated: Apr 22, 2026

Total Downloads

View Total Downloads data table

Downloads by Region

Dependencies

49 packages (5 direct, 44 transitive)

Package	Depth ↑	Downloads ↓
Requires	Direct	393,674
Reexport	Direct	320,040
ReachabilityBase	Direct	1,805
LazySets	Direct	1,601
ControllerFormats	Direct	32
RecipesBase	Depth 2	268,171
ExprTools	Depth 2	199,140
Statistics	Depth 2	129,689
IntervalArithmetic	Depth 2	66,338
JuMP	Depth 2	40,701
GLPK	Depth 2	18,687
OrderedCollections	Depth 3	1,075,631
PrecompileTools	Depth 3	472,988
MacroTools	Depth 3	376,027
MutableArithmetics	Depth 3	73,627
MathOptInterface	Depth 3	55,529
CRlibm	Depth 3	53,667
RoundingEmulator	Depth 3	52,934
OpenBLASConsistentFPCSR_jll	Depth 3	43,238
CoreMath	Depth 3	26,504
GLPK_jll	Depth 3	21,902
Preferences	Depth 4	566,272
JSON	Depth 4	483,109
SpecialFunctions	Depth 4	368,777
NaNMath	Depth 4	335,934
ForwardDiff	Depth 4	279,779
CodecZlib	Depth 4	251,927
CodecBzip2	Depth 4	51,402
CRlibm_jll	Depth 4	48,537
CoreMath_jll	Depth 4	26,489
IrrationalConstants	Depth 5	1,040,075
LogExpFunctions	Depth 5	1,030,580
Parsers	Depth 5	452,707
OpenSpecFun_jll	Depth 5	306,613
StructUtils	Depth 5	305,883
TranscodingStreams	Depth 5	288,705
ChainRulesCore	Depth 5	270,388
CommonSubexpressions	Depth 5	250,226
DiffResults	Depth 5	249,277
DiffRules	Depth 5	237,270
Bzip2_jll	Depth 5	205,463
TOML	Depth 5	4,943
Zlib_jll	Depth 5	4,163
OpenLibm_jll	Depth 5	2,718
DocStringExtensions	Depth 6	1,048,849
Compat	Depth 6	519,946
StaticArraysCore	Depth 6	382,967
InverseFunctions	Depth 6	165,163
ChangesOfVariables	Depth 6	31,632

Dependents

1 package (1 direct) · 13 downloads (last 30 days)

Package	Depth ↑	Downloads ↓
ClosedLoopReachability	Direct	13