SymbolicSMT
Last updated:
- Downloads last 30 days
- 17
- Downloads last week
- 6
- Downloads last day
- 0
- Downloads last 30 days
- 17
- Downloads last week
- 6
- Downloads last day
- 0
Total Downloads
View Total Downloads data table
| Date | Downloads |
|---|---|
| 2 | |
| 1 | |
| 2 | |
| 2 | |
| 1 | |
| 2 | |
| 1 | |
| 1 | |
| 5 |
Downloads by Region
Dependencies
78 packages (3 direct, 75 transitive)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| SymbolicUtils | Direct | 20,141 |
| Symbolics | Direct | 17,144 |
| Z3 | Direct | 37 |
| DataStructures | Depth 2 | 460,808 |
| Preferences | Depth 2 | 450,731 |
| DocStringExtensions | Depth 2 | 414,637 |
| LogExpFunctions | Depth 2 | 390,386 |
| PrecompileTools | Depth 2 | 368,316 |
| SpecialFunctions | Depth 2 | 309,068 |
| MacroTools | Depth 2 | 305,124 |
| StaticArraysCore | Depth 2 | 287,573 |
| Reexport | Depth 2 | 263,326 |
| NaNMath | Depth 2 | 252,727 |
| ConstructionBase | Depth 2 | 235,472 |
| DiffRules | Depth 2 | 218,248 |
| ArrayInterface | Depth 2 | 193,776 |
| RecipesBase | Depth 2 | 164,518 |
| Setfield | Depth 2 | 162,318 |
| EnumX | Depth 2 | 153,482 |
| ADTypes | Depth 2 | 133,446 |
| CEnum | Depth 2 | 121,432 |
| AbstractTrees | Depth 2 | 103,431 |
| SciMLPublic | Depth 2 | 73,516 |
| CommonWorldInvalidations | Depth 2 | 67,833 |
| Graphs | Depth 2 | 66,261 |
| MutableArithmetics | Depth 2 | 61,541 |
| Combinatorics | Depth 2 | 58,172 |
| Primes | Depth 2 | 57,881 |
| RuntimeGeneratedFunctions | Depth 2 | 57,414 |
| SymbolicIndexingInterface | Depth 2 | 52,233 |
| ExproniconLite | Depth 2 | 48,029 |
| Moshi | Depth 2 | 36,663 |
| Dictionaries | Depth 2 | 29,139 |
| MultivariatePolynomials | Depth 2 | 21,224 |
| DynamicPolynomials | Depth 2 | 18,475 |
| DomainSets | Depth 2 | 18,194 |
| TaskLocalValues | Depth 2 | 17,026 |
| Bijections | Depth 2 | 15,116 |
| LabelledArrays | Depth 2 | 14,473 |
| TermInterface | Depth 2 | 12,013 |
| SymbolicLimits | Depth 2 | 10,150 |
| AbstractPlutoDingetjes | Depth 2 | 7,047 |
| ReadOnlyArrays | Depth 2 | 4,284 |
| WeakCacheSets | Depth 2 | 3,871 |
| z3_jll | Depth 2 | 84 |
| OrderedCollections | Depth 3 | 444,280 |
| IrrationalConstants | Depth 3 | 387,010 |
| StaticArrays | Depth 3 | 279,489 |
| OpenSpecFun_jll | Depth 3 | 269,593 |
| Adapt | Depth 3 | 256,503 |
| ForwardDiff | Depth 3 | 242,212 |
| ChainRulesCore | Depth 3 | 209,697 |
| ExprTools | Depth 3 | 139,179 |
| Statistics | Depth 3 | 135,433 |
| InverseFunctions | Depth 3 | 128,760 |
| SimpleTraits | Depth 3 | 94,688 |
| IntervalSets | Depth 3 | 92,344 |
| Accessors | Depth 3 | 90,744 |
| Inflate | Depth 3 | 88,143 |
| RecursiveArrayTools | Depth 3 | 68,995 |
| ArnoldiMethod | Depth 3 | 65,449 |
| PreallocationTools | Depth 3 | 58,012 |
| IntegerMathUtils | Depth 3 | 57,120 |
| Jieko | Depth 3 | 41,035 |
| ChangesOfVariables | Depth 3 | 34,684 |
| Indexing | Depth 3 | 28,028 |
| CompositeTypes | Depth 3 | 15,554 |
| FunctionMaps | Depth 3 | 5,557 |
| TOML | Depth 3 | 5,162 |
| StarAlgebras | Depth 3 | 4,293 |
| OpenLibm_jll | Depth 3 | 2,836 |
| SHA | Depth 3 | 162 |
| Compat | Depth 4 | 363,128 |
| Requires | Depth 4 | 318,269 |
| CommonSubexpressions | Depth 4 | 222,515 |
| DiffResults | Depth 4 | 221,499 |
| GPUArraysCore | Depth 4 | 106,309 |
| CompositionsBase | Depth 4 | 82,217 |
Dependents
No packages in the registry depend on this package.