z3-solver

v4.13.0.0

an efficient SMT solver library For more information about how to use this package see README

Latest version published 2 months ago
License: MIT

Ensure you're using the healthiest python packages

Snyk scans all the packages in your projects for vulnerabilities and provides automated fix advice

Package Health Score

91 / 100

Explore Similar Packages

Popularity

Influential project
GitHub Stars
9.69K
Forks
1.43K
Contributors
280

Direct Usage Popularity

TOP 30%

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

Security

No known security issues
Powered by Snyk
4.13.0.0 (Latest)

Security and license risk for latest version

Release Date
Mar 7, 2024
Direct Vulnerabilities
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
Indirect Vulnerabilities
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
License Risk
  • 0
    H
  • 0
    M
  • 0
    L
All security vulnerabilities belong to production dependencies of direct and indirect packages.

License
MIT

Security Policy
No

We found a way for you to contribute to the project! Looks like z3-solver is missing a security policy.


You can connect your project's repository to Snyk to stay up to date on security alerts and receive automatic fix pull requests.

Keep your project free of vulnerabilities with Snyk

Maintenance

Healthy

Commit Frequency

Open Issues
136
Open PR
2
Last Release
2 months ago
Last Commit
11 days ago

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.

Community

Active
Readme
Yes
Contributing.md
No
Code of Conduct
No
Contributors
280
Funding
No

A good and healthy external contribution signal for z3-solver project, which invites more than one hundred open source maintainers to collaborate on the repository.

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


Embed Package Health Score Badge

package health: 91/100 package health 91/100

Package

Python Versions Compatibility
Unspecified

Age
8 years
Latest Release
2 months ago
Dependencies
1 Direct / 2 Total
Versions
35
Maintainers
5
Wheels
Linux, macOS, Windows