SymbolicSMT
Last updated:
- Downloads last 30 days
- 14
- Downloads last week
- 13
- Downloads last day
- 6
- Downloads last 30 days
- 14
- Downloads last week
- 13
- Downloads last day
- 6
Total Downloads
Lifetime Growth (cumulative)
Downloads by Region
Dependencies
76 packages (4 direct, 72 transitive)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| PrecompileTools | Direct | 353,989 |
| SymbolicUtils | Direct | 26,471 |
| Symbolics | Direct | 21,606 |
| Z3 | Direct | 51 |
| Preferences | Depth 2 | 494,168 |
| OrderedCollections | Depth 2 | 456,799 |
| SpecialFunctions | Depth 2 | 409,970 |
| DataStructures | Depth 2 | 387,301 |
| NaNMath | Depth 2 | 346,257 |
| LogExpFunctions | Depth 2 | 325,311 |
| DocStringExtensions | Depth 2 | 306,033 |
| MacroTools | Depth 2 | 302,548 |
| StaticArraysCore | Depth 2 | 290,686 |
| ArrayInterface | Depth 2 | 270,529 |
| RecipesBase | Depth 2 | 257,860 |
| ConstructionBase | Depth 2 | 232,511 |
| ADTypes | Depth 2 | 208,115 |
| DiffRules | Depth 2 | 205,352 |
| SciMLPublic | Depth 2 | 194,060 |
| CommonWorldInvalidations | Depth 2 | 175,719 |
| CEnum | Depth 2 | 135,963 |
| Setfield | Depth 2 | 129,882 |
| EnumX | Depth 2 | 115,447 |
| AbstractTrees | Depth 2 | 110,557 |
| IntervalSets | Depth 2 | 103,713 |
| RuntimeGeneratedFunctions | Depth 2 | 86,751 |
| Graphs | Depth 2 | 84,278 |
| SymbolicIndexingInterface | Depth 2 | 81,024 |
| Combinatorics | Depth 2 | 80,465 |
| MutableArithmetics | Depth 2 | 78,962 |
| Primes | Depth 2 | 74,550 |
| ExproniconLite | Depth 2 | 42,145 |
| Moshi | Depth 2 | 38,511 |
| DomainSets | Depth 2 | 25,703 |
| MultivariatePolynomials | Depth 2 | 25,245 |
| DynamicPolynomials | Depth 2 | 24,564 |
| LabelledArrays | Depth 2 | 22,861 |
| TaskLocalValues | Depth 2 | 20,327 |
| Bijections | Depth 2 | 19,345 |
| TermInterface | Depth 2 | 16,678 |
| SymbolicLimits | Depth 2 | 14,254 |
| AbstractPlutoDingetjes | Depth 2 | 10,547 |
| ReadOnlyArrays | Depth 2 | 6,473 |
| WeakCacheSets | Depth 2 | 6,194 |
| z3_jll | Depth 2 | 95 |
| StaticArrays | Depth 3 | 426,658 |
| Adapt | Depth 3 | 334,035 |
| ForwardDiff | Depth 3 | 304,088 |
| IrrationalConstants | Depth 3 | 286,753 |
| OpenSpecFun_jll | Depth 3 | 267,841 |
| Reexport | Depth 3 | 254,581 |
| InverseFunctions | Depth 3 | 239,573 |
| Accessors | Depth 3 | 222,511 |
| Statistics | Depth 3 | 203,917 |
| ChainRulesCore | Depth 3 | 186,096 |
| ExprTools | Depth 3 | 167,997 |
| IntegerMathUtils | Depth 3 | 154,284 |
| SimpleTraits | Depth 3 | 126,185 |
| Inflate | Depth 3 | 110,695 |
| RecursiveArrayTools | Depth 3 | 95,443 |
| ArnoldiMethod | Depth 3 | 85,221 |
| PreallocationTools | Depth 3 | 82,007 |
| Jieko | Depth 3 | 33,212 |
| ChangesOfVariables | Depth 3 | 31,354 |
| CompositeTypes | Depth 3 | 20,697 |
| FunctionMaps | Depth 3 | 12,696 |
| StarAlgebras | Depth 3 | 9,695 |
| TOML | Depth 3 | 5,240 |
| OpenLibm_jll | Depth 3 | 2,386 |
| SHA | Depth 3 | 197 |
| Compat | Depth 4 | 362,914 |
| CompositionsBase | Depth 4 | 204,893 |
| CommonSubexpressions | Depth 4 | 192,966 |
| DiffResults | Depth 4 | 192,222 |
| GPUArraysCore | Depth 4 | 130,123 |
| SciMLStructures | Depth 4 | 59,923 |
Dependents
No packages in the registry depend on this package.