z3-solver vulnerabilities
Package versions
28 VERSIONS IN TOTAL
| version | published | direct vulnerabilities |
|---|---|---|
| 4.15.4 | 29 Oct, 2025 |
|
| 4.15.3 | 16 Aug, 2025 |
|
| 4.15.2 | 25 Jun, 2025 |
|
| 4.15.1 | 10 Jun, 2025 |
|
| 4.15.0 | 10 May, 2025 |
|
| 4.14.1 | 11 Mar, 2025 |
|
| 4.14.0 | 18 Feb, 2025 |
|
| 4.13.4 | 17 Dec, 2024 |
|
| 4.13.3 | 11 Oct, 2024 |
|
| 4.13.2 | 27 Sep, 2024 |
|
| 4.13.0 | 7 Mar, 2024 |
|
| 4.12.6 | 25 Feb, 2024 |
|
| 4.12.5 | 21 Jan, 2024 |
|
| 4.12.4 | 6 Dec, 2023 |
|
| 4.12.3 | 5 Dec, 2023 |
|
| 4.12.2 | 13 May, 2023 |
|
| 4.12.1 | 18 Jan, 2023 |
|
| 4.12.0 | 14 Jan, 2023 |
|
| 4.11.2 | 4 Sep, 2022 |
|
| 4.11.0 | 18 Aug, 2022 |
|