Homepage

z3-solver vulnerabilities

an efficient SMT solver library
Licenses: MIT
Published: 9 years ago Last updated: 2 days ago Latest version: 4.15.8.0 Latest non-vulnerable version: 4.15.8.0
pip
GitHub

Package Health Score

85/100
  • securityNo known security issues
  • popularityInfluential project
  • maintenanceHealthy
  • communitySustainable

Maintenance

HEALTHY

Commit Frequency

Loading chart...

Open Issues
154
Open PR
7
New PRS
1
Last Release
2 days ago
Last Commit
6 days ago
Maintainers
5

Further analysis of the maintenance status of z3-solver based on released PyPI versions cadence, the repository activity, and other data points determined that its maintenance is Healthy.

We found that z3-solver demonstrates a positive version release cadence with at least one new version released in the past 3 months.

As a healthy sign for on-going project maintenance, we found that the GitHub repository had at least 1 pull request or issue interacted with by the community.

Popularity

INFLUENTIAL PROJECT
GitHub Stars
11.9k
Forks
1.6k
Contributors
0

Based on project statistics from the GitHub repository for the PyPI package z3-solver, we found that it has been starred 11,893 times.

Community

SUSTAINABLE
Readme
Yes
Contributing.md
No
Code of Conduct
No
Contributors
0
Funding
No
LICENSE
MIT

This project has seen only 10 or less contributors.

We found a way for you to contribute to the project! Looks like z3-solver is missing a Code of Conduct.

License

MIT[0,);
Report a new vulnerability Found a mistake?

Direct Vulnerabilities

Known vulnerabilities in the z3-solver package. This does not include vulnerabilities belonging to this package’s dependencies.

Fix vulnerabilities automatically

Snyk's AI Trust Platform automatically finds the best upgrade path and integrates with your development workflows. Secure your code at zero cost.

Fix for free

Security

NO KNOWN SECURITY ISSUES
Show only direct vulnerabilities in latest version
No vulnerabilities found

No vulnerabilities found in the latest version

There are 1 total vulnerabilities, but none affect the latest version (4.15.8.0)

Package versions

49 VERSIONS IN TOTAL See all versions
versionpublisheddirect vulnerabilities
4.15.8.012 Feb, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.15.7.09 Feb, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.15.6.08 Feb, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.15.5.07 Feb, 2026
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.15.4.029 Oct, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.15.3.016 Aug, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.15.1.08 Jun, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.15.0.010 May, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.14.1.011 Mar, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
4.14.0.018 Feb, 2025
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L