NeuralNetworkReachability

Last updated: Oct 6, 2026

Cumulative

Total Downloads

Lifetime Growth (cumulative)

Downloads by Region

Dependencies

48 packages (5 direct, 43 transitive)

Package	Depth ↑	Downloads ↓
Reexport	Direct	610,701
Requires	Direct	565,218
LazySets	Direct	4,956
ReachabilityBase	Direct	3,299
ControllerFormats	Direct	138
Statistics	Depth 2	425,597
ExprTools	Depth 2	318,810
IntervalArithmetic	Depth 2	102,804
JuMP	Depth 2	70,938
GLPK	Depth 2	16,914
OrderedCollections	Depth 3	919,203
PrecompileTools	Depth 3	822,521
MacroTools	Depth 3	700,823
MutableArithmetics	Depth 3	148,749
MathOptInterface	Depth 3	119,051
RoundingEmulator	Depth 3	88,458
CRlibm	Depth 3	88,439
OpenBLASConsistentFPCSR_jll	Depth 3	67,837
CoreMath	Depth 3	41,915
GLPK_jll	Depth 3	20,289
Preferences	Depth 4	1,115,330
JSON	Depth 4	866,806
SpecialFunctions	Depth 4	808,759
NaNMath	Depth 4	699,739
ForwardDiff	Depth 4	575,772
CodecZlib	Depth 4	553,949
CodecBzip2	Depth 4	106,409
CRlibm_jll	Depth 4	81,774
CoreMath_jll	Depth 4	41,909
Parsers	Depth 5	958,207
LogExpFunctions	Depth 5	746,873
IrrationalConstants	Depth 5	670,203
OpenSpecFun_jll	Depth 5	634,591
StructUtils	Depth 5	601,579
TranscodingStreams	Depth 5	482,018
ChainRulesCore	Depth 5	447,380
DiffRules	Depth 5	446,349
DiffResults	Depth 5	432,082
CommonSubexpressions	Depth 5	431,985
Bzip2_jll	Depth 5	358,939
TOML	Depth 5	9,238
Zlib_jll	Depth 5	7,805
OpenLibm_jll	Depth 5	4,127
Compat	Depth 6	803,484
DocStringExtensions	Depth 6	711,009
StaticArraysCore	Depth 6	691,203
InverseFunctions	Depth 6	502,778
ChangesOfVariables	Depth 6	60,047

Dependents

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

Package	Depth ↑	Downloads ↓
ClosedLoopReachability	Direct	106