Homepage
About Snyk

z3-solver vulnerabilities

Report a new vulnerability Found a mistake?

Direct Vulnerabilities

No direct vulnerabilities have been found for this package in Snyk’s vulnerability database. This does not include vulnerabilities belonging to this package’s dependencies.

Does your project rely on vulnerable package dependencies?

Automatically find and fix vulnerabilities affecting your projects. Snyk scans for vulnerabilities (in both your packages & their dependencies) and provides automated fixes for free.

Scan for indirect vulnerabilities

Package versions

1 - 20 of 20 Results
version published direct vulnerabilities
4.13.3 11 Oct, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.13.2 27 Sep, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.13.0 7 Mar, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.12.6 25 Feb, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.12.5 21 Jan, 2024
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.12.4 6 Dec, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.12.3 5 Dec, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.12.2 13 May, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.12.1 18 Jan, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.12.0 14 Jan, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.11.2 4 Sep, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.11.0 18 Aug, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.10.2 30 Jul, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.10.1 22 Jul, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.10.0 22 Jul, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.9.1 6 Jul, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.9.0 6 Jul, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.8.17 5 May, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.8.16 24 Apr, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.8.14-pre 9 Jan, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L