CarlemanLinearization
Last updated: Feb 7, 2026
Downloads last 30 days
141
Downloads last week
10
Downloads last day
1
Downloads last 30 days
141
Downloads last week
10
Downloads last day
1
Total Downloads
Downloads by Region
Dependencies
7 packages (3 direct, 4 transitive)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| Requires | Direct | 145,507 |
| MultivariatePolynomials | Direct | 6,857 |
| ReachabilityBase | Direct | 673 |
| DataStructures | Depth 2 | 671,027 |
| ExprTools | Depth 2 | 77,598 |
| MutableArithmetics | Depth 2 | 33,131 |
| OrderedCollections | Depth 3 | 683,375 |
Dependents
2 packages (1 direct, 1 transitive) · 34 downloads (last 30 days)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| ReachabilityAnalysis | Direct | 33 |
| ClosedLoopReachability | Depth 2 | 1 |