CarlemanLinearization

Last updated:
Downloads last 30 days
109
Downloads last week
20
Downloads last day
7
Total Downloads
View Total Downloads data table
DateDownloads
7
3
5
3
2
7
7
9
2
2
8
1
1
6
Downloads by Region
Dependencies

8 packages (3 direct, 5 transitive)

PackageDepthDownloads
Requires
Direct
301,000
MultivariatePolynomials
Direct
21,162
ReachabilityBase
Direct
1,656
DataStructures
Depth 2
430,043
ExprTools
Depth 2
138,163
MutableArithmetics
Depth 2
61,924
StarAlgebras
Depth 2
2,285
OrderedCollections
Depth 3
417,427
Dependents

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

PackageDepthDownloads
ReachabilityAnalysis
Direct
69
ClosedLoopReachability
Depth 2
17