CarlemanLinearization

JuliaHub·Source·Documentation

Last updated: Feb 27, 2026

Downloads last 30 days: 28
Downloads last week: 5
Downloads last day: 2
Downloads last 30 days: 28
Downloads last week: 5
Downloads last day: 2

Total Downloads

View Total Downloads data table

Date	Downloads
2026-02-02	1
2026-02-06	8
2026-02-07	1
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

Downloads by Region

Dependencies

7 packages (3 direct, 4 transitive)

Package	Depth ↑	Downloads ↓
Requires	Direct	122,423
MultivariatePolynomials	Direct	7,265
ReachabilityBase	Direct	531
DataStructures	Depth 2	1,308,713
ExprTools	Depth 2	52,881
MutableArithmetics	Depth 2	30,731
OrderedCollections	Depth 3	1,317,877

Dependents

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

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