ReachabilityBase

Last updated: Sep 17, 2026

Cumulative

Total Downloads

Lifetime Growth (cumulative)

Downloads by Region

Dependencies

2 packages (2 direct)

Package	Depth ↑	Downloads ↓
Requires	Direct	243,513
ExprTools	Direct	165,616

Dependents

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

Package	Depth ↑	Downloads ↓
LazySets	Direct	2,621
CarlemanLinearization	Direct	229
ReachabilityAnalysis	Direct	148
NeuralNetworkReachability	Direct	6
ControllerFormats	Direct	5
ClosedLoopReachability	Direct	2
Photometry	Depth 2	95
TrajectoryGamesBase	Depth 2	79
Swalbe	Depth 2	21
Graphene	Depth 2	10
Gershgorin	Depth 2	5
OpticSim	Depth 2	4
ONSAS	Depth 2	2
Dionysos	Depth 2	1
SynapseElife	Depth 2	1
AutomationLabsSystems	Depth 2	0
BellDiagonalQudits	Depth 2	0
InvariantSets	Depth 2	0
InvariantSetApproximation	Depth 2	0
InformationInequalities	Depth 2	0
AutomationLabsModelPredictiveControl	Depth 2	0
Astroalign	Depth 3	8
ADI	Depth 3	7
TrajectoryGamesExamples	Depth 3	4
UVITTools	Depth 3	1
LiftedTrajectoryGames	Depth 3	0
AutomationLabs	Depth 3	0
OpticSimVis	Depth 3	0
MCPTrajectoryGameSolver	Depth 3	0
AutomationLabsDepot	Depth 3	0
AutomationLabsExportation	Depth 4	0