ReachabilityBase
Last updated: Feb 8, 2026
Downloads last 30 days
673
Downloads last week
188
Downloads last day
7
Downloads last 30 days
673
Downloads last week
188
Downloads last day
7
Total Downloads
Downloads by Region
Dependencies
2 packages (2 direct)
Dependents
33 packages (7 direct, 26 transitive) · 1,620 downloads (last 30 days)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| LazySets | Direct | 1,379 |
| CarlemanLinearization | Direct | 141 |
| ReachabilityAnalysis | Direct | 33 |
| RangeEnclosures | Direct | 4 |
| NeuralNetworkReachability | Direct | 1 |
| ClosedLoopReachability | Direct | 1 |
| ControllerFormats | Direct | 1 |
| TrajectoryGamesBase | Depth 2 | 31 |
| Photometry | Depth 2 | 12 |
| OpticSim | Depth 2 | 7 |
| InvariantSets | Depth 2 | 1 |
| Swalbe | Depth 2 | 1 |
| Dionysos | Depth 2 | 1 |
| BellDiagonalQudits | Depth 2 | 0 |
| AutomationLabsModelPredictiveControl | Depth 2 | 0 |
| ONSAS | Depth 2 | 0 |
| InformationInequalities | Depth 2 | 0 |
| Graphene | Depth 2 | 0 |
| SynapseElife | Depth 2 | 0 |
| Gershgorin | Depth 2 | 0 |
| AutomationLabsSystems | Depth 2 | 0 |
| InvariantSetApproximation | Depth 2 | 0 |
| TrajectoryGamesExamples | Depth 3 | 6 |
| MCPTrajectoryGameSolver | Depth 3 | 1 |
| Astroalign | Depth 3 | 0 |
| AutomationLabsDepot | Depth 3 | 0 |
| UVITTools | Depth 3 | 0 |
| OpticSimVis | Depth 3 | 0 |
| AutomationLabs | Depth 3 | 0 |
| MixedComplementarityProblems | Depth 3 | 0 |
| ADI | Depth 3 | 0 |
| LiftedTrajectoryGames | Depth 3 | 0 |
| AutomationLabsExportation | Depth 4 | 0 |