CarlemanLinearization
Last updated:
- Downloads last 30 days
- 294
- Downloads last week
- 56
- Downloads last day
- 16
- Downloads last 30 days
- 294
- Downloads last week
- 56
- Downloads last day
- 16
Total Downloads
Lifetime Growth (cumulative)
Downloads by Region
Dependencies
8 packages (3 direct, 5 transitive)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| Requires | Direct | 244,908 |
| MultivariatePolynomials | Direct | 27,506 |
| ReachabilityBase | Direct | 2,689 |
| DataStructures | Depth 2 | 339,567 |
| ExprTools | Depth 2 | 187,272 |
| MutableArithmetics | Depth 2 | 82,147 |
| StarAlgebras | Depth 2 | 12,431 |
| OrderedCollections | Depth 3 | 394,702 |
Dependents
2 packages (1 direct, 1 transitive) · 125 downloads (last 30 days)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| ReachabilityAnalysis | Direct | 123 |
| ClosedLoopReachability | Depth 2 | 2 |