SymbolicSMT
Last updated:
- Downloads last 30 days
- 12
- Downloads last week
- 5
- Downloads last day
- 0
- Downloads last 30 days
- 12
- Downloads last week
- 5
- Downloads last day
- 0
Total Downloads
View Total Downloads data table
| Date | Downloads |
|---|---|
| 2 | |
| 1 | |
| 2 | |
| 2 | |
| 1 | |
| 2 | |
| 1 | |
| 1 |
Downloads by Region
Dependencies
78 packages (3 direct, 75 transitive)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| SymbolicUtils | Direct | 19,717 |
| Symbolics | Direct | 16,182 |
| Z3 | Direct | 15 |
| DataStructures | Depth 2 | 434,660 |
| Preferences | Depth 2 | 420,950 |
| DocStringExtensions | Depth 2 | 401,070 |
| LogExpFunctions | Depth 2 | 376,834 |
| PrecompileTools | Depth 2 | 338,492 |
| SpecialFunctions | Depth 2 | 303,142 |
| MacroTools | Depth 2 | 288,871 |
| StaticArraysCore | Depth 2 | 264,784 |
| Reexport | Depth 2 | 251,328 |
| NaNMath | Depth 2 | 248,443 |
| DiffRules | Depth 2 | 219,767 |
| ConstructionBase | Depth 2 | 217,947 |
| ArrayInterface | Depth 2 | 197,611 |
| Setfield | Depth 2 | 159,461 |
| RecipesBase | Depth 2 | 154,455 |
| EnumX | Depth 2 | 150,457 |
| ADTypes | Depth 2 | 133,398 |
| CEnum | Depth 2 | 118,939 |
| AbstractTrees | Depth 2 | 95,987 |
| SciMLPublic | Depth 2 | 68,291 |
| Graphs | Depth 2 | 64,201 |
| CommonWorldInvalidations | Depth 2 | 61,657 |
| MutableArithmetics | Depth 2 | 60,418 |
| Combinatorics | Depth 2 | 58,203 |
| RuntimeGeneratedFunctions | Depth 2 | 56,045 |
| Primes | Depth 2 | 54,239 |
| SymbolicIndexingInterface | Depth 2 | 51,341 |
| ExproniconLite | Depth 2 | 45,420 |
| Moshi | Depth 2 | 33,691 |
| Dictionaries | Depth 2 | 25,419 |
| MultivariatePolynomials | Depth 2 | 20,642 |
| DynamicPolynomials | Depth 2 | 17,731 |
| DomainSets | Depth 2 | 16,722 |
| LabelledArrays | Depth 2 | 15,604 |
| Bijections | Depth 2 | 14,309 |
| TaskLocalValues | Depth 2 | 12,552 |
| TermInterface | Depth 2 | 11,238 |
| SymbolicLimits | Depth 2 | 9,604 |
| AbstractPlutoDingetjes | Depth 2 | 6,820 |
| ReadOnlyArrays | Depth 2 | 4,062 |
| WeakCacheSets | Depth 2 | 3,726 |
| z3_jll | Depth 2 | 56 |
| OrderedCollections | Depth 3 | 420,816 |
| IrrationalConstants | Depth 3 | 369,301 |
| OpenSpecFun_jll | Depth 3 | 267,972 |
| StaticArrays | Depth 3 | 266,413 |
| Adapt | Depth 3 | 244,586 |
| ForwardDiff | Depth 3 | 241,042 |
| ChainRulesCore | Depth 3 | 205,958 |
| ExprTools | Depth 3 | 134,453 |
| Statistics | Depth 3 | 124,710 |
| InverseFunctions | Depth 3 | 119,605 |
| SimpleTraits | Depth 3 | 89,898 |
| Accessors | Depth 3 | 82,735 |
| Inflate | Depth 3 | 82,525 |
| IntervalSets | Depth 3 | 81,491 |
| RecursiveArrayTools | Depth 3 | 69,592 |
| ArnoldiMethod | Depth 3 | 63,179 |
| PreallocationTools | Depth 3 | 57,308 |
| IntegerMathUtils | Depth 3 | 53,469 |
| Jieko | Depth 3 | 38,021 |
| ChangesOfVariables | Depth 3 | 35,858 |
| Indexing | Depth 3 | 24,159 |
| CompositeTypes | Depth 3 | 14,637 |
| TOML | Depth 3 | 4,965 |
| OpenLibm_jll | Depth 3 | 2,743 |
| StarAlgebras | Depth 3 | 2,636 |
| FunctionMaps | Depth 3 | 2,114 |
| SHA | Depth 3 | 219 |
| Compat | Depth 4 | 338,230 |
| Requires | Depth 4 | 296,793 |
| CommonSubexpressions | Depth 4 | 222,364 |
| DiffResults | Depth 4 | 221,117 |
| GPUArraysCore | Depth 4 | 103,761 |
| CompositionsBase | Depth 4 | 75,426 |
Dependents
No packages in the registry depend on this package.