SymbolicSMT
Last updated:
- Downloads last 30 days
- 7
- Downloads last week
- 1
- Downloads last day
- 0
- Downloads last 30 days
- 7
- Downloads last week
- 1
- Downloads last day
- 0
Total Downloads
Lifetime Growth (cumulative)
Downloads by Region
Dependencies
77 packages (3 direct, 74 transitive)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| SymbolicUtils | Direct | 18,593 |
| Symbolics | Direct | 15,001 |
| Z3 | Direct | 47 |
| DataStructures | Depth 2 | 1,136,493 |
| DocStringExtensions | Depth 2 | 1,077,184 |
| LogExpFunctions | Depth 2 | 1,075,132 |
| Preferences | Depth 2 | 488,005 |
| PrecompileTools | Depth 2 | 437,705 |
| SpecialFunctions | Depth 2 | 355,045 |
| StaticArraysCore | Depth 2 | 342,348 |
| NaNMath | Depth 2 | 339,332 |
| MacroTools | Depth 2 | 320,739 |
| ConstructionBase | Depth 2 | 310,972 |
| RecipesBase | Depth 2 | 290,264 |
| DiffRules | Depth 2 | 258,849 |
| Reexport | Depth 2 | 257,048 |
| ArrayInterface | Depth 2 | 219,494 |
| Setfield | Depth 2 | 197,036 |
| CEnum | Depth 2 | 173,751 |
| ADTypes | Depth 2 | 163,217 |
| EnumX | Depth 2 | 148,106 |
| SciMLPublic | Depth 2 | 111,040 |
| AbstractTrees | Depth 2 | 98,866 |
| CommonWorldInvalidations | Depth 2 | 98,765 |
| Primes | Depth 2 | 92,084 |
| Graphs | Depth 2 | 77,254 |
| SymbolicIndexingInterface | Depth 2 | 64,189 |
| MutableArithmetics | Depth 2 | 64,150 |
| Dictionaries | Depth 2 | 64,028 |
| RuntimeGeneratedFunctions | Depth 2 | 61,828 |
| Combinatorics | Depth 2 | 58,598 |
| ExproniconLite | Depth 2 | 52,143 |
| Moshi | Depth 2 | 45,448 |
| LabelledArrays | Depth 2 | 19,446 |
| MultivariatePolynomials | Depth 2 | 19,020 |
| DomainSets | Depth 2 | 16,090 |
| DynamicPolynomials | Depth 2 | 14,483 |
| TaskLocalValues | Depth 2 | 11,462 |
| Bijections | Depth 2 | 11,361 |
| TermInterface | Depth 2 | 9,764 |
| AbstractPlutoDingetjes | Depth 2 | 7,892 |
| SymbolicLimits | Depth 2 | 7,513 |
| ReadOnlyArrays | Depth 2 | 4,432 |
| WeakCacheSets | Depth 2 | 4,123 |
| z3_jll | Depth 2 | 97 |
| IrrationalConstants | Depth 3 | 1,067,799 |
| OrderedCollections | Depth 3 | 1,063,835 |
| StaticArrays | Depth 3 | 349,173 |
| OpenSpecFun_jll | Depth 3 | 325,310 |
| Adapt | Depth 3 | 301,719 |
| ForwardDiff | Depth 3 | 284,778 |
| ChainRulesCore | Depth 3 | 232,479 |
| ExprTools | Depth 3 | 187,644 |
| IntervalSets | Depth 3 | 158,012 |
| SimpleTraits | Depth 3 | 145,624 |
| InverseFunctions | Depth 3 | 133,441 |
| Inflate | Depth 3 | 131,255 |
| Statistics | Depth 3 | 93,388 |
| Accessors | Depth 3 | 91,948 |
| IntegerMathUtils | Depth 3 | 90,266 |
| ArnoldiMethod | Depth 3 | 76,486 |
| RecursiveArrayTools | Depth 3 | 72,156 |
| PreallocationTools | Depth 3 | 71,347 |
| Indexing | Depth 3 | 63,147 |
| Jieko | Depth 3 | 45,201 |
| ChangesOfVariables | Depth 3 | 19,105 |
| CompositeTypes | Depth 3 | 11,493 |
| FunctionMaps | Depth 3 | 8,889 |
| StarAlgebras | Depth 3 | 6,280 |
| TOML | Depth 3 | 3,295 |
| OpenLibm_jll | Depth 3 | 1,812 |
| SHA | Depth 3 | 82 |
| Compat | Depth 4 | 503,049 |
| CommonSubexpressions | Depth 4 | 279,218 |
| DiffResults | Depth 4 | 277,979 |
| GPUArraysCore | Depth 4 | 146,186 |
| CompositionsBase | Depth 4 | 95,165 |
Dependents
No packages in the registry depend on this package.