BranchAndPrune
Last updated: Feb 8, 2026
Downloads last 30 days
263
Downloads last week
68
Downloads last day
13
Downloads last 30 days
263
Downloads last week
68
Downloads last day
13
Total Downloads
Downloads by Region
Dependencies
1 package (1 direct)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| AbstractTrees | Direct | 58,684 |
Dependents
24 packages (1 direct, 23 transitive) · 2,275 downloads (last 30 days)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| IntervalRootFinding | Direct | 889 |
| TaylorModels | Depth 2 | 434 |
| ChaosTools | Depth 2 | 405 |
| McCormick | Depth 2 | 7 |
| Ziggurats | Depth 2 | 3 |
| ValidatedNumerics | Depth 2 | 1 |
| HePPCAT | Depth 2 | 0 |
| InvariantMeasures | Depth 2 | 0 |
| DynamicalSystems | Depth 3 | 394 |
| Flowstar | Depth 3 | 86 |
| ReachabilityAnalysis | Depth 3 | 33 |
| EAGO | Depth 3 | 19 |
| RigorousInvariantMeasures | Depth 3 | 0 |
| DynamicBoundspODEsIneq | Depth 3 | 0 |
| DynamicBoundspODEsDiscrete | Depth 3 | 0 |
| ReverseMcCormick | Depth 3 | 0 |
| CausalityToolsBase | Depth 3 | 0 |
| Anatta | Depth 4 | 2 |
| Basins | Depth 4 | 1 |
| ClosedLoopReachability | Depth 4 | 1 |
| DynamicBounds | Depth 4 | 0 |
| StateSpaceReconstruction | Depth 4 | 0 |
| PerronFrobenius | Depth 4 | 0 |
| SemanticTrajectories | Depth 4 | 0 |