ReachabilityBase

Last updated: Oct 7, 2026

Cumulative

Total Downloads

Lifetime Growth (cumulative)

Downloads by Region

Dependencies

2 packages (2 direct)

Package	Depth ↑	Downloads ↓
Requires	Direct	565,218
ExprTools	Direct	318,810

Dependents

31 packages (6 direct, 25 transitive) · 7,329 downloads (last 30 days)

Package	Depth ↑	Downloads ↓
LazySets	Direct	4,956
ReachabilityAnalysis	Direct	612
CarlemanLinearization	Direct	570
ControllerFormats	Direct	138
NeuralNetworkReachability	Direct	136
ClosedLoopReachability	Direct	106
Photometry	Depth 2	293
Dionysos	Depth 2	98
Swalbe	Depth 2	82
TrajectoryGamesBase	Depth 2	71
BellDiagonalQudits	Depth 2	67
ONSAS	Depth 2	29
InvariantSets	Depth 2	23
OpticSim	Depth 2	6
SynapseElife	Depth 2	1
AutomationLabsModelPredictiveControl	Depth 2	0
Gershgorin	Depth 2	0
Graphene	Depth 2	0
InvariantSetApproximation	Depth 2	0
InformationInequalities	Depth 2	0
AutomationLabsSystems	Depth 2	0
Astroalign	Depth 3	63
UVITTools	Depth 3	32
ADI	Depth 3	31
TrajectoryGamesExamples	Depth 3	13
LiftedTrajectoryGames	Depth 3	2
AutomationLabs	Depth 3	0
OpticSimVis	Depth 3	0
MCPTrajectoryGameSolver	Depth 3	0
AutomationLabsDepot	Depth 3	0
AutomationLabsExportation	Depth 4	0