ReachabilityBase
Last updated:
- Downloads last 30 days
- 947
- Downloads last week
- 239
- Downloads last day
- 57
- Downloads last 30 days
- 947
- Downloads last week
- 239
- Downloads last day
- 57
Total Downloads
Lifetime Growth (cumulative)
Downloads by Region
Dependencies
2 packages (2 direct)
Dependents
32 packages (6 direct, 26 transitive) · 1,896 downloads (last 30 days)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| LazySets | Direct | 1,288 |
| ReachabilityAnalysis | Direct | 199 |
| CarlemanLinearization | Direct | 137 |
| ClosedLoopReachability | Direct | 19 |
| ControllerFormats | Direct | 18 |
| NeuralNetworkReachability | Direct | 11 |
| Photometry | Depth 2 | 73 |
| SynapseElife | Depth 2 | 23 |
| TrajectoryGamesBase | Depth 2 | 17 |
| Dionysos | Depth 2 | 12 |
| InformationInequalities | Depth 2 | 9 |
| Swalbe | Depth 2 | 7 |
| BellDiagonalQudits | Depth 2 | 7 |
| ONSAS | Depth 2 | 7 |
| OpticSim | Depth 2 | 4 |
| InvariantSets | Depth 2 | 4 |
| Graphene | Depth 2 | 3 |
| InvariantSetApproximation | Depth 2 | 3 |
| Gershgorin | Depth 2 | 3 |
| AutomationLabsSystems | Depth 2 | 0 |
| AutomationLabsModelPredictiveControl | Depth 2 | 0 |
| Astroalign | Depth 3 | 16 |
| MixedComplementarityProblems | Depth 3 | 11 |
| TrajectoryGamesExamples | Depth 3 | 10 |
| MCPTrajectoryGameSolver | Depth 3 | 6 |
| UVITTools | Depth 3 | 5 |
| ADI | Depth 3 | 3 |
| OpticSimVis | Depth 3 | 1 |
| LiftedTrajectoryGames | Depth 3 | 0 |
| AutomationLabs | Depth 3 | 0 |
| AutomationLabsDepot | Depth 3 | 0 |
| AutomationLabsExportation | Depth 4 | 0 |