SymbolicSMT
Last updated:
- Downloads last 30 days
- 80
- Downloads last week
- 20
- Downloads last day
- 5
- Downloads last 30 days
- 80
- Downloads last week
- 20
- Downloads last day
- 5
Total Downloads
Lifetime Growth (cumulative)
Downloads by Region
Dependencies
76 packages (4 direct, 72 transitive)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| PrecompileTools | Direct | 841,043 |
| SymbolicUtils | Direct | 43,811 |
| Symbolics | Direct | 39,017 |
| Z3 | Direct | 193 |
| Preferences | Depth 2 | 1,142,396 |
| OrderedCollections | Depth 2 | 941,729 |
| SpecialFunctions | Depth 2 | 820,688 |
| DataStructures | Depth 2 | 803,887 |
| LogExpFunctions | Depth 2 | 762,749 |
| DocStringExtensions | Depth 2 | 721,887 |
| MacroTools | Depth 2 | 711,869 |
| NaNMath | Depth 2 | 710,801 |
| StaticArraysCore | Depth 2 | 702,683 |
| ConstructionBase | Depth 2 | 583,182 |
| RecipesBase | Depth 2 | 516,712 |
| ArrayInterface | Depth 2 | 513,956 |
| DiffRules | Depth 2 | 457,373 |
| ADTypes | Depth 2 | 392,545 |
| SciMLPublic | Depth 2 | 351,182 |
| CommonWorldInvalidations | Depth 2 | 321,835 |
| CEnum | Depth 2 | 311,251 |
| Setfield | Depth 2 | 308,045 |
| EnumX | Depth 2 | 288,001 |
| AbstractTrees | Depth 2 | 283,644 |
| IntervalSets | Depth 2 | 224,733 |
| Graphs | Depth 2 | 209,011 |
| Combinatorics | Depth 2 | 202,242 |
| Primes | Depth 2 | 191,101 |
| RuntimeGeneratedFunctions | Depth 2 | 170,346 |
| SymbolicIndexingInterface | Depth 2 | 158,305 |
| MutableArithmetics | Depth 2 | 150,338 |
| ExproniconLite | Depth 2 | 86,560 |
| Moshi | Depth 2 | 78,427 |
| DomainSets | Depth 2 | 49,493 |
| MultivariatePolynomials | Depth 2 | 46,825 |
| DynamicPolynomials | Depth 2 | 42,560 |
| TaskLocalValues | Depth 2 | 38,099 |
| LabelledArrays | Depth 2 | 36,734 |
| Bijections | Depth 2 | 33,662 |
| TermInterface | Depth 2 | 31,086 |
| SymbolicLimits | Depth 2 | 24,206 |
| AbstractPlutoDingetjes | Depth 2 | 20,419 |
| ReadOnlyArrays | Depth 2 | 12,952 |
| WeakCacheSets | Depth 2 | 12,311 |
| z3_jll | Depth 2 | 299 |
| StaticArrays | Depth 3 | 874,255 |
| Adapt | Depth 3 | 709,089 |
| IrrationalConstants | Depth 3 | 680,265 |
| OpenSpecFun_jll | Depth 3 | 645,248 |
| Reexport | Depth 3 | 627,048 |
| ForwardDiff | Depth 3 | 590,013 |
| InverseFunctions | Depth 3 | 514,287 |
| ChainRulesCore | Depth 3 | 456,465 |
| Accessors | Depth 3 | 447,603 |
| Statistics | Depth 3 | 441,248 |
| ExprTools | Depth 3 | 326,735 |
| SimpleTraits | Depth 3 | 295,630 |
| IntegerMathUtils | Depth 3 | 286,810 |
| Inflate | Depth 3 | 271,929 |
| ArnoldiMethod | Depth 3 | 210,688 |
| RecursiveArrayTools | Depth 3 | 188,399 |
| PreallocationTools | Depth 3 | 162,864 |
| Jieko | Depth 3 | 69,554 |
| ChangesOfVariables | Depth 3 | 61,042 |
| CompositeTypes | Depth 3 | 41,171 |
| FunctionMaps | Depth 3 | 29,023 |
| StarAlgebras | Depth 3 | 20,045 |
| TOML | Depth 3 | 9,483 |
| OpenLibm_jll | Depth 3 | 4,306 |
| SHA | Depth 3 | 491 |
| Compat | Depth 4 | 823,824 |
| DiffResults | Depth 4 | 442,953 |
| CommonSubexpressions | Depth 4 | 442,907 |
| CompositionsBase | Depth 4 | 425,222 |
| GPUArraysCore | Depth 4 | 286,659 |
| SciMLStructures | Depth 4 | 137,827 |
Dependents
No packages in the registry depend on this package.