CarlemanLinearization

JuliaHub·Source·Documentation

Last updated: Mar 6, 2026

Downloads last 30 days: 20
Downloads last week: 3
Downloads last day: 1
Downloads last 30 days: 20
Downloads last week: 3
Downloads last day: 1

Total Downloads

View Total Downloads data table

Date	Downloads
2026-02-09	1
2026-02-10	1
2026-02-13	1
2026-02-14	1
2026-02-15	2
2026-02-16	1
2026-02-18	2
2026-02-19	2
2026-02-24	1
2026-02-25	2
2026-02-27	2
2026-03-01	1
2026-03-04	1
2026-03-06	1

Downloads by Region

Dependencies

7 packages (3 direct, 4 transitive)

Package	Depth ↑	Downloads ↓
Requires	Direct	103,100
MultivariatePolynomials	Direct	6,800
ReachabilityBase	Direct	393
DataStructures	Depth 2	1,262,345
ExprTools	Depth 2	48,449
MutableArithmetics	Depth 2	26,887
OrderedCollections	Depth 3	1,261,315

Dependents

2 packages (1 direct, 1 transitive) · 58 downloads (last 30 days)

Package	Depth ↑	Downloads ↓
ReachabilityAnalysis	Direct	57
ClosedLoopReachability	Depth 2	1