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	275,889
Reexport	Direct	223,384
LazySets	Direct	1,257
ReachabilityBase	Direct	928
ControllerFormats	Direct	18
RecipesBase	Depth 2	223,214
ExprTools	Depth 2	143,881
Statistics	Depth 2	77,098
IntervalArithmetic	Depth 2	66,997
JuMP	Depth 2	30,189
GLPK	Depth 2	9,142
PrecompileTools	Depth 3	415,550
OrderedCollections	Depth 3	400,318
MacroTools	Depth 3	292,925
MutableArithmetics	Depth 3	68,308
RoundingEmulator	Depth 3	59,900
CRlibm	Depth 3	59,730
MathOptInterface	Depth 3	56,651
OpenBLASConsistentFPCSR_jll	Depth 3	43,648
CoreMath	Depth 3	27,728
GLPK_jll	Depth 3	12,559
Preferences	Depth 4	472,379
JSON	Depth 4	415,821
NaNMath	Depth 4	356,847
SpecialFunctions	Depth 4	328,984
ForwardDiff	Depth 4	290,396
CodecZlib	Depth 4	191,954
CRlibm_jll	Depth 4	52,670
CodecBzip2	Depth 4	47,531
CoreMath_jll	Depth 4	27,635
Parsers	Depth 5	485,710
LogExpFunctions	Depth 5	339,795
IrrationalConstants	Depth 5	292,198
OpenSpecFun_jll	Depth 5	270,339
StructUtils	Depth 5	256,702
DiffRules	Depth 5	251,062
TranscodingStreams	Depth 5	233,255
CommonSubexpressions	Depth 5	232,724
DiffResults	Depth 5	232,259
ChainRulesCore	Depth 5	206,628
Bzip2_jll	Depth 5	159,637
TOML	Depth 5	2,158
Zlib_jll	Depth 5	1,284
OpenLibm_jll	Depth 5	1,209
Compat	Depth 6	459,116
StaticArraysCore	Depth 6	307,604
DocStringExtensions	Depth 6	307,302
InverseFunctions	Depth 6	132,691
ChangesOfVariables	Depth 6	21,771

Dependents

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

Package	Depth ↑	Downloads ↓
ClosedLoopReachability	Direct	19