NeuralNetworkReachability

Last updated: Jun 29, 2026

Cumulative

Total Downloads

Lifetime Growth (cumulative)

Downloads by Region

Dependencies

49 packages (5 direct, 44 transitive)

Package	Depth ↑	Downloads ↓
Requires	Direct	287,589
Reexport	Direct	228,167
LazySets	Direct	1,288
ReachabilityBase	Direct	947
ControllerFormats	Direct	18
RecipesBase	Depth 2	234,394
ExprTools	Depth 2	153,248
Statistics	Depth 2	84,895
IntervalArithmetic	Depth 2	68,294
JuMP	Depth 2	31,054
GLPK	Depth 2	9,415
PrecompileTools	Depth 3	425,020
OrderedCollections	Depth 3	405,113
MacroTools	Depth 3	306,017
MutableArithmetics	Depth 3	69,994
RoundingEmulator	Depth 3	60,863
CRlibm	Depth 3	60,664
MathOptInterface	Depth 3	58,304
OpenBLASConsistentFPCSR_jll	Depth 3	44,738
CoreMath	Depth 3	28,073
GLPK_jll	Depth 3	12,829
Preferences	Depth 4	483,465
JSON	Depth 4	422,585
NaNMath	Depth 4	363,886
SpecialFunctions	Depth 4	337,874
ForwardDiff	Depth 4	291,426
CodecZlib	Depth 4	196,710
CRlibm_jll	Depth 4	53,661
CodecBzip2	Depth 4	48,814
CoreMath_jll	Depth 4	27,981
Parsers	Depth 5	488,372
LogExpFunctions	Depth 5	352,231
IrrationalConstants	Depth 5	298,331
OpenSpecFun_jll	Depth 5	282,809
DiffRules	Depth 5	264,708
StructUtils	Depth 5	260,831
CommonSubexpressions	Depth 5	244,318
DiffResults	Depth 5	243,808
TranscodingStreams	Depth 5	238,652
ChainRulesCore	Depth 5	210,766
Bzip2_jll	Depth 5	162,997
TOML	Depth 5	2,190
Zlib_jll	Depth 5	1,302
OpenLibm_jll	Depth 5	1,235
Compat	Depth 6	469,788
DocStringExtensions	Depth 6	319,464
StaticArraysCore	Depth 6	312,860
InverseFunctions	Depth 6	140,464
ChangesOfVariables	Depth 6	22,828

Dependents

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

Package	Depth ↑	Downloads ↓
ClosedLoopReachability	Direct	19