SymbolicSMT
Last updated:
- Downloads last 30 days
- 15
- Downloads last week
- 10
- Downloads last day
- 0
- Downloads last 30 days
- 15
- Downloads last week
- 10
- Downloads last day
- 0
Total Downloads
Lifetime Growth (cumulative)
Downloads by Region
Dependencies
75 packages (3 direct, 72 transitive)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| SymbolicUtils | Direct | 20,493 |
| Symbolics | Direct | 14,840 |
| Z3 | Direct | 58 |
| Preferences | Depth 2 | 484,236 |
| PrecompileTools | Depth 2 | 425,880 |
| NaNMath | Depth 2 | 366,763 |
| LogExpFunctions | Depth 2 | 351,558 |
| DataStructures | Depth 2 | 338,003 |
| SpecialFunctions | Depth 2 | 337,415 |
| DocStringExtensions | Depth 2 | 318,708 |
| StaticArraysCore | Depth 2 | 314,009 |
| MacroTools | Depth 2 | 303,945 |
| ConstructionBase | Depth 2 | 265,284 |
| DiffRules | Depth 2 | 261,725 |
| RecipesBase | Depth 2 | 232,766 |
| Reexport | Depth 2 | 228,793 |
| ArrayInterface | Depth 2 | 182,726 |
| CEnum | Depth 2 | 156,783 |
| Setfield | Depth 2 | 152,538 |
| EnumX | Depth 2 | 145,389 |
| ADTypes | Depth 2 | 125,670 |
| SciMLPublic | Depth 2 | 120,573 |
| CommonWorldInvalidations | Depth 2 | 99,670 |
| AbstractTrees | Depth 2 | 98,593 |
| Graphs | Depth 2 | 79,095 |
| RuntimeGeneratedFunctions | Depth 2 | 73,906 |
| SymbolicIndexingInterface | Depth 2 | 73,245 |
| Primes | Depth 2 | 71,714 |
| MutableArithmetics | Depth 2 | 69,766 |
| Combinatorics | Depth 2 | 54,878 |
| Moshi | Depth 2 | 44,152 |
| ExproniconLite | Depth 2 | 42,721 |
| LabelledArrays | Depth 2 | 18,488 |
| DomainSets | Depth 2 | 17,431 |
| MultivariatePolynomials | Depth 2 | 16,068 |
| DynamicPolynomials | Depth 2 | 14,790 |
| Bijections | Depth 2 | 12,384 |
| TermInterface | Depth 2 | 10,863 |
| TaskLocalValues | Depth 2 | 10,555 |
| SymbolicLimits | Depth 2 | 9,586 |
| AbstractPlutoDingetjes | Depth 2 | 8,842 |
| ReadOnlyArrays | Depth 2 | 5,418 |
| WeakCacheSets | Depth 2 | 5,194 |
| z3_jll | Depth 2 | 77 |
| OrderedCollections | Depth 3 | 408,250 |
| Adapt | Depth 3 | 328,820 |
| StaticArrays | Depth 3 | 300,397 |
| IrrationalConstants | Depth 3 | 299,123 |
| ForwardDiff | Depth 3 | 295,330 |
| OpenSpecFun_jll | Depth 3 | 280,745 |
| ChainRulesCore | Depth 3 | 210,943 |
| SimpleTraits | Depth 3 | 155,532 |
| ExprTools | Depth 3 | 151,520 |
| IntervalSets | Depth 3 | 146,811 |
| InverseFunctions | Depth 3 | 140,100 |
| Inflate | Depth 3 | 127,538 |
| Accessors | Depth 3 | 105,430 |
| Statistics | Depth 3 | 83,313 |
| ArnoldiMethod | Depth 3 | 79,133 |
| RecursiveArrayTools | Depth 3 | 77,513 |
| PreallocationTools | Depth 3 | 72,014 |
| IntegerMathUtils | Depth 3 | 69,225 |
| Jieko | Depth 3 | 34,046 |
| ChangesOfVariables | Depth 3 | 22,331 |
| CompositeTypes | Depth 3 | 11,544 |
| FunctionMaps | Depth 3 | 9,334 |
| StarAlgebras | Depth 3 | 6,769 |
| TOML | Depth 3 | 2,179 |
| OpenLibm_jll | Depth 3 | 1,223 |
| SHA | Depth 3 | 160 |
| Compat | Depth 4 | 470,315 |
| CommonSubexpressions | Depth 4 | 242,179 |
| DiffResults | Depth 4 | 241,689 |
| GPUArraysCore | Depth 4 | 138,496 |
| CompositionsBase | Depth 4 | 96,479 |
Dependents
No packages in the registry depend on this package.