SymbolicSMT
Last updated:
- Downloads last 30 days
- 71
- Downloads last week
- 14
- Downloads last day
- 1
- Downloads last 30 days
- 71
- Downloads last week
- 14
- Downloads last day
- 1
Total Downloads
Lifetime Growth (cumulative)
Downloads by Region
Dependencies
75 packages (4 direct, 71 transitive)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| PrecompileTools | Direct | 913,632 |
| SymbolicUtils | Direct | 41,261 |
| Symbolics | Direct | 37,940 |
| Z3 | Direct | 185 |
| Preferences | Depth 2 | 1,150,035 |
| OrderedCollections | Depth 2 | 962,442 |
| LogExpFunctions | Depth 2 | 837,669 |
| DocStringExtensions | Depth 2 | 789,297 |
| SpecialFunctions | Depth 2 | 767,570 |
| DataStructures | Depth 2 | 757,086 |
| MacroTools | Depth 2 | 705,429 |
| StaticArraysCore | Depth 2 | 693,017 |
| NaNMath | Depth 2 | 672,000 |
| ConstructionBase | Depth 2 | 592,609 |
| DiffRules | Depth 2 | 516,650 |
| ArrayInterface | Depth 2 | 468,249 |
| RecipesBase | Depth 2 | 464,040 |
| EnumX | Depth 2 | 362,864 |
| Setfield | Depth 2 | 362,028 |
| ADTypes | Depth 2 | 361,737 |
| CEnum | Depth 2 | 322,065 |
| SciMLPublic | Depth 2 | 295,548 |
| AbstractTrees | Depth 2 | 265,146 |
| CommonWorldInvalidations | Depth 2 | 253,331 |
| IntervalSets | Depth 2 | 237,882 |
| RuntimeGeneratedFunctions | Depth 2 | 188,718 |
| SymbolicIndexingInterface | Depth 2 | 181,051 |
| Combinatorics | Depth 2 | 171,816 |
| Graphs | Depth 2 | 168,338 |
| Primes | Depth 2 | 167,041 |
| MutableArithmetics | Depth 2 | 159,389 |
| ExproniconLite | Depth 2 | 100,747 |
| Moshi | Depth 2 | 90,613 |
| MultivariatePolynomials | Depth 2 | 47,648 |
| DomainSets | Depth 2 | 46,987 |
| DynamicPolynomials | Depth 2 | 41,146 |
| TaskLocalValues | Depth 2 | 36,775 |
| Bijections | Depth 2 | 32,794 |
| TermInterface | Depth 2 | 31,234 |
| LabelledArrays | Depth 2 | 26,872 |
| SymbolicLimits | Depth 2 | 26,009 |
| AbstractPlutoDingetjes | Depth 2 | 25,878 |
| ReadOnlyArrays | Depth 2 | 14,645 |
| WeakCacheSets | Depth 2 | 14,095 |
| z3_jll | Depth 2 | 453 |
| StaticArrays | Depth 3 | 775,643 |
| IrrationalConstants | Depth 3 | 725,565 |
| Adapt | Depth 3 | 671,467 |
| OpenSpecFun_jll | Depth 3 | 655,571 |
| Reexport | Depth 3 | 647,370 |
| ForwardDiff | Depth 3 | 585,995 |
| ChainRulesCore | Depth 3 | 492,545 |
| InverseFunctions | Depth 3 | 491,344 |
| Statistics | Depth 3 | 404,572 |
| Accessors | Depth 3 | 391,324 |
| ExprTools | Depth 3 | 359,296 |
| SimpleTraits | Depth 3 | 258,672 |
| Inflate | Depth 3 | 228,177 |
| RecursiveArrayTools | Depth 3 | 224,716 |
| PreallocationTools | Depth 3 | 188,255 |
| IntegerMathUtils | Depth 3 | 187,864 |
| ArnoldiMethod | Depth 3 | 165,766 |
| Jieko | Depth 3 | 81,182 |
| ChangesOfVariables | Depth 3 | 61,495 |
| CompositeTypes | Depth 3 | 39,753 |
| FunctionMaps | Depth 3 | 28,386 |
| StarAlgebras | Depth 3 | 24,510 |
| TOML | Depth 3 | 9,215 |
| OpenLibm_jll | Depth 3 | 4,063 |
| SHA | Depth 3 | 455 |
| CommonSubexpressions | Depth 4 | 508,223 |
| DiffResults | Depth 4 | 508,204 |
| CompositionsBase | Depth 4 | 367,841 |
| GPUArraysCore | Depth 4 | 322,369 |
| SciMLStructures | Depth 4 | 170,209 |
Dependents
No packages in the registry depend on this package.