NeuralNetworkReachability
Last updated:
- Downloads last 30 days
- 45
- Downloads last week
- 6
- Downloads last day
- 0
- Downloads last 30 days
- 45
- Downloads last week
- 6
- Downloads last day
- 0
Total Downloads
Lifetime Growth (cumulative)
Downloads by Region
Dependencies
47 packages (5 direct, 42 transitive)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| Reexport | Direct | 637,929 |
| Requires | Direct | 517,951 |
| LazySets | Direct | 4,352 |
| ReachabilityBase | Direct | 3,246 |
| ControllerFormats | Direct | 57 |
| Statistics | Depth 2 | 397,486 |
| ExprTools | Depth 2 | 349,308 |
| IntervalArithmetic | Depth 2 | 103,379 |
| JuMP | Depth 2 | 91,234 |
| GLPK | Depth 2 | 17,194 |
| OrderedCollections | Depth 3 | 945,729 |
| PrecompileTools | Depth 3 | 897,714 |
| MacroTools | Depth 3 | 695,783 |
| MutableArithmetics | Depth 3 | 156,765 |
| MathOptInterface | Depth 3 | 120,065 |
| CRlibm | Depth 3 | 91,443 |
| RoundingEmulator | Depth 3 | 90,593 |
| OpenBLASConsistentFPCSR_jll | Depth 3 | 74,720 |
| CoreMath | Depth 3 | 44,641 |
| GLPK_jll | Depth 3 | 19,654 |
| Preferences | Depth 4 | 1,129,971 |
| JSON | Depth 4 | 852,705 |
| SpecialFunctions | Depth 4 | 754,970 |
| NaNMath | Depth 4 | 659,660 |
| ForwardDiff | Depth 4 | 570,675 |
| CodecZlib | Depth 4 | 467,696 |
| CodecBzip2 | Depth 4 | 110,373 |
| CRlibm_jll | Depth 4 | 85,848 |
| CoreMath_jll | Depth 4 | 44,499 |
| Parsers | Depth 5 | 934,288 |
| LogExpFunctions | Depth 5 | 826,345 |
| IrrationalConstants | Depth 5 | 707,771 |
| OpenSpecFun_jll | Depth 5 | 649,156 |
| StructUtils | Depth 5 | 598,815 |
| DiffRules | Depth 5 | 504,127 |
| DiffResults | Depth 5 | 494,780 |
| CommonSubexpressions | Depth 5 | 494,779 |
| TranscodingStreams | Depth 5 | 487,521 |
| ChainRulesCore | Depth 5 | 481,216 |
| Bzip2_jll | Depth 5 | 318,228 |
| TOML | Depth 5 | 8,534 |
| Zlib_jll | Depth 5 | 7,459 |
| OpenLibm_jll | Depth 5 | 3,819 |
| DocStringExtensions | Depth 6 | 770,266 |
| StaticArraysCore | Depth 6 | 687,908 |
| InverseFunctions | Depth 6 | 476,824 |
| ChangesOfVariables | Depth 6 | 59,477 |
Dependents
1 package (1 direct) · 9 downloads (last 30 days)
| Package | Depth ↑ | Downloads ↓ |
|---|---|---|
| ClosedLoopReachability | Direct | 9 |