SymbolicSMT
Last updated:
- Downloads last 30 days
- 17
- Downloads last week
- 2
- Downloads last day
- 0
- Downloads last 30 days
- 17
- Downloads last week
- 2
- Downloads last day
- 0
Total Downloads
View Total Downloads data table
| Date | Downloads |
|---|---|
| 2 | |
| 1 | |
| 2 | |
| 1 | |
| 1 | |
| 5 | |
| 1 | |
| 1 | |
| 1 | |
| 1 | |
| 1 |
Downloads by Region
Dependencies
78 packages (3 direct, 75 transitive)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| SymbolicUtils | Direct | 21,070 |
| Symbolics | Direct | 17,878 |
| Z3 | Direct | 49 |
| DataStructures | Depth 2 | 1,271,076 |
| DocStringExtensions | Depth 2 | 1,192,633 |
| LogExpFunctions | Depth 2 | 1,174,692 |
| Preferences | Depth 2 | 573,762 |
| PrecompileTools | Depth 2 | 480,457 |
| StaticArraysCore | Depth 2 | 388,332 |
| MacroTools | Depth 2 | 378,909 |
| SpecialFunctions | Depth 2 | 369,771 |
| NaNMath | Depth 2 | 339,989 |
| ConstructionBase | Depth 2 | 325,825 |
| Reexport | Depth 2 | 320,287 |
| RecipesBase | Depth 2 | 274,819 |
| DiffRules | Depth 2 | 238,421 |
| ArrayInterface | Depth 2 | 230,256 |
| Setfield | Depth 2 | 204,750 |
| CEnum | Depth 2 | 170,489 |
| EnumX | Depth 2 | 158,460 |
| ADTypes | Depth 2 | 135,482 |
| AbstractTrees | Depth 2 | 120,311 |
| CommonWorldInvalidations | Depth 2 | 113,475 |
| SciMLPublic | Depth 2 | 105,600 |
| Primes | Depth 2 | 86,813 |
| Graphs | Depth 2 | 82,368 |
| MutableArithmetics | Depth 2 | 73,795 |
| Dictionaries | Depth 2 | 73,262 |
| RuntimeGeneratedFunctions | Depth 2 | 69,254 |
| Combinatorics | Depth 2 | 66,042 |
| SymbolicIndexingInterface | Depth 2 | 63,787 |
| ExproniconLite | Depth 2 | 56,907 |
| Moshi | Depth 2 | 49,529 |
| MultivariatePolynomials | Depth 2 | 23,846 |
| DomainSets | Depth 2 | 20,377 |
| TaskLocalValues | Depth 2 | 20,122 |
| DynamicPolynomials | Depth 2 | 19,413 |
| LabelledArrays | Depth 2 | 18,514 |
| Bijections | Depth 2 | 15,269 |
| TermInterface | Depth 2 | 12,515 |
| SymbolicLimits | Depth 2 | 10,426 |
| AbstractPlutoDingetjes | Depth 2 | 7,580 |
| ReadOnlyArrays | Depth 2 | 4,686 |
| WeakCacheSets | Depth 2 | 4,267 |
| z3_jll | Depth 2 | 109 |
| OrderedCollections | Depth 3 | 1,218,530 |
| IrrationalConstants | Depth 3 | 1,184,320 |
| StaticArrays | Depth 3 | 382,801 |
| Adapt | Depth 3 | 336,419 |
| OpenSpecFun_jll | Depth 3 | 308,993 |
| ForwardDiff | Depth 3 | 280,688 |
| ChainRulesCore | Depth 3 | 273,187 |
| ExprTools | Depth 3 | 202,460 |
| InverseFunctions | Depth 3 | 166,078 |
| SimpleTraits | Depth 3 | 154,826 |
| IntervalSets | Depth 3 | 152,400 |
| Accessors | Depth 3 | 129,697 |
| Statistics | Depth 3 | 129,430 |
| Inflate | Depth 3 | 126,499 |
| IntegerMathUtils | Depth 3 | 85,875 |
| RecursiveArrayTools | Depth 3 | 83,010 |
| ArnoldiMethod | Depth 3 | 81,881 |
| PreallocationTools | Depth 3 | 74,285 |
| Indexing | Depth 3 | 72,163 |
| Jieko | Depth 3 | 49,221 |
| ChangesOfVariables | Depth 3 | 31,011 |
| CompositeTypes | Depth 3 | 15,741 |
| FunctionMaps | Depth 3 | 9,996 |
| StarAlgebras | Depth 3 | 7,418 |
| TOML | Depth 3 | 4,829 |
| OpenLibm_jll | Depth 3 | 2,689 |
| SHA | Depth 3 | 193 |
| Compat | Depth 4 | 530,605 |
| Requires | Depth 4 | 397,819 |
| CommonSubexpressions | Depth 4 | 251,741 |
| DiffResults | Depth 4 | 250,737 |
| GPUArraysCore | Depth 4 | 138,011 |
| CompositionsBase | Depth 4 | 115,283 |
Dependents
No packages in the registry depend on this package.