NeuralNetworkReachability

Last updated: Apr 7, 2026

Total Downloads

View Total Downloads data table

Downloads by Region

Dependencies

50 packages (5 direct, 45 transitive)

Package	Depth ↑	Downloads ↓
Requires	Direct	301,000
Reexport	Direct	256,673
LazySets	Direct	1,708
ReachabilityBase	Direct	1,656
ControllerFormats	Direct	6
RecipesBase	Depth 2	156,596
ExprTools	Depth 2	138,163
Statistics	Depth 2	122,086
IntervalArithmetic	Depth 2	41,986
JuMP	Depth 2	29,846
GLPK	Depth 2	9,263
OrderedCollections	Depth 3	417,427
PrecompileTools	Depth 3	342,699
MacroTools	Depth 3	293,613
MutableArithmetics	Depth 3	61,924
MathOptInterface	Depth 3	49,437
CRlibm	Depth 3	31,895
RoundingEmulator	Depth 3	30,962
OpenBLASConsistentFPCSR_jll	Depth 3	25,930
GLPK_jll	Depth 3	12,787
CoreMath	Depth 3	6,648
Preferences	Depth 4	426,332
JSON	Depth 4	322,004
SpecialFunctions	Depth 4	308,748
NaNMath	Depth 4	252,123
ForwardDiff	Depth 4	244,974
CodecZlib	Depth 4	183,264
BenchmarkTools	Depth 4	97,257
CodecBzip2	Depth 4	45,367
CRlibm_jll	Depth 4	29,016
CoreMath_jll	Depth 4	6,640
LogExpFunctions	Depth 5	372,970
IrrationalConstants	Depth 5	365,460
Compat	Depth 5	342,804
Parsers	Depth 5	317,359
OpenSpecFun_jll	Depth 5	273,588
CommonSubexpressions	Depth 5	225,885
DiffResults	Depth 5	224,635
DiffRules	Depth 5	223,914
StructUtils	Depth 5	216,532
ChainRulesCore	Depth 5	209,915
TranscodingStreams	Depth 5	201,059
Bzip2_jll	Depth 5	131,467
TOML	Depth 5	5,184
Zlib_jll	Depth 5	4,892
OpenLibm_jll	Depth 5	2,828
DocStringExtensions	Depth 6	397,948
StaticArraysCore	Depth 6	268,430
InverseFunctions	Depth 6	121,600
ChangesOfVariables	Depth 6	37,238

Dependents

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

Package	Depth ↑	Downloads ↓
ClosedLoopReachability	Direct	17