ReachabilityBase

Last updated: Aug 25, 2026

Cumulative

Total Downloads

Lifetime Growth (cumulative)

Downloads by Region

Dependencies

2 packages (2 direct)

Package	Depth ↑	Downloads ↓
Requires	Direct	244,908
ExprTools	Direct	187,272

Dependents

31 packages (6 direct, 25 transitive) · 3,150 downloads (last 30 days)

Package	Depth ↑	Downloads ↓
LazySets	Direct	2,543
CarlemanLinearization	Direct	294
ReachabilityAnalysis	Direct	123
ControllerFormats	Direct	4
NeuralNetworkReachability	Direct	2
ClosedLoopReachability	Direct	2
TrajectoryGamesBase	Depth 2	72
Photometry	Depth 2	69
Graphene	Depth 2	10
Gershgorin	Depth 2	5
AutomationLabsSystems	Depth 2	4
OpticSim	Depth 2	4
Dionysos	Depth 2	1
Swalbe	Depth 2	0
BellDiagonalQudits	Depth 2	0
InvariantSetApproximation	Depth 2	0
InformationInequalities	Depth 2	0
AutomationLabsModelPredictiveControl	Depth 2	0
ONSAS	Depth 2	0
SynapseElife	Depth 2	0
InvariantSets	Depth 2	0
TrajectoryGamesExamples	Depth 3	5
ADI	Depth 3	5
Astroalign	Depth 3	5
MCPTrajectoryGameSolver	Depth 3	1
LiftedTrajectoryGames	Depth 3	1
UVITTools	Depth 3	0
AutomationLabsDepot	Depth 3	0
OpticSimVis	Depth 3	0
AutomationLabs	Depth 3	0
AutomationLabsExportation	Depth 4	0