SymbolicSMT
Last updated:
- Downloads last 30 days
- 9
- Downloads last week
- 3
- Downloads last day
- 2
- Downloads last 30 days
- 9
- Downloads last week
- 3
- Downloads last day
- 2
Total Downloads
Lifetime Growth (cumulative)
Downloads by Region
Dependencies
75 packages (3 direct, 72 transitive)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| SymbolicUtils | Direct | 18,597 |
| Symbolics | Direct | 13,231 |
| Z3 | Direct | 45 |
| Preferences | Depth 2 | 416,580 |
| PrecompileTools | Depth 2 | 389,380 |
| DataStructures | Depth 2 | 307,833 |
| LogExpFunctions | Depth 2 | 304,286 |
| DocStringExtensions | Depth 2 | 303,414 |
| MacroTools | Depth 2 | 294,385 |
| SpecialFunctions | Depth 2 | 291,452 |
| NaNMath | Depth 2 | 290,929 |
| StaticArraysCore | Depth 2 | 267,298 |
| ConstructionBase | Depth 2 | 263,172 |
| DiffRules | Depth 2 | 251,100 |
| RecipesBase | Depth 2 | 236,011 |
| Reexport | Depth 2 | 213,753 |
| Setfield | Depth 2 | 172,413 |
| ArrayInterface | Depth 2 | 169,086 |
| CEnum | Depth 2 | 136,114 |
| EnumX | Depth 2 | 124,829 |
| ADTypes | Depth 2 | 112,515 |
| SciMLPublic | Depth 2 | 90,967 |
| AbstractTrees | Depth 2 | 87,833 |
| CommonWorldInvalidations | Depth 2 | 77,053 |
| Graphs | Depth 2 | 65,746 |
| MutableArithmetics | Depth 2 | 64,102 |
| Primes | Depth 2 | 63,770 |
| SymbolicIndexingInterface | Depth 2 | 61,361 |
| RuntimeGeneratedFunctions | Depth 2 | 59,534 |
| Combinatorics | Depth 2 | 49,643 |
| ExproniconLite | Depth 2 | 39,166 |
| Moshi | Depth 2 | 35,407 |
| LabelledArrays | Depth 2 | 15,454 |
| MultivariatePolynomials | Depth 2 | 15,024 |
| DomainSets | Depth 2 | 14,386 |
| DynamicPolynomials | Depth 2 | 13,130 |
| Bijections | Depth 2 | 10,630 |
| TaskLocalValues | Depth 2 | 9,750 |
| TermInterface | Depth 2 | 8,971 |
| AbstractPlutoDingetjes | Depth 2 | 8,919 |
| SymbolicLimits | Depth 2 | 7,985 |
| ReadOnlyArrays | Depth 2 | 4,479 |
| WeakCacheSets | Depth 2 | 4,257 |
| z3_jll | Depth 2 | 74 |
| OrderedCollections | Depth 3 | 314,937 |
| OpenSpecFun_jll | Depth 3 | 281,924 |
| StaticArrays | Depth 3 | 262,192 |
| IrrationalConstants | Depth 3 | 257,141 |
| Adapt | Depth 3 | 251,083 |
| ForwardDiff | Depth 3 | 230,947 |
| ChainRulesCore | Depth 3 | 183,642 |
| ExprTools | Depth 3 | 174,213 |
| InverseFunctions | Depth 3 | 148,237 |
| SimpleTraits | Depth 3 | 130,171 |
| IntervalSets | Depth 3 | 120,276 |
| Statistics | Depth 3 | 112,518 |
| Inflate | Depth 3 | 106,772 |
| Accessors | Depth 3 | 80,238 |
| ArnoldiMethod | Depth 3 | 67,562 |
| RecursiveArrayTools | Depth 3 | 64,128 |
| IntegerMathUtils | Depth 3 | 61,095 |
| PreallocationTools | Depth 3 | 57,125 |
| Jieko | Depth 3 | 31,541 |
| ChangesOfVariables | Depth 3 | 20,565 |
| CompositeTypes | Depth 3 | 9,762 |
| FunctionMaps | Depth 3 | 8,659 |
| StarAlgebras | Depth 3 | 5,992 |
| TOML | Depth 3 | 2,558 |
| OpenLibm_jll | Depth 3 | 1,262 |
| SHA | Depth 3 | 124 |
| Compat | Depth 4 | 398,157 |
| CommonSubexpressions | Depth 4 | 249,147 |
| DiffResults | Depth 4 | 248,290 |
| GPUArraysCore | Depth 4 | 149,049 |
| CompositionsBase | Depth 4 | 110,800 |
Dependents
No packages in the registry depend on this package.