z3-solver

v4.11.2.0

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

Latest version published 3 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

Total Weekly Downloads (164,133)

Popularity by version
Dependents
0
GitHub Stars
8.22K
Forks
1.31K
Contributors
250

Direct Usage Popularity


The PyPI package z3-solver receives a total of 164,133 downloads a week. As such, we scored z3-solver popularity level to be Influential project.

Based on project statistics from the GitHub repository for the PyPI package z3-solver, we found that it has been starred 8,221 times, and that 0 other projects in the ecosystem are dependent on it.

The download numbers shown are the average weekly downloads from the last 6 weeks.

Security

No known security issues
Powered by Snyk
4.11.2.0 (Latest)

Security and license risk for latest version

Release Date
Sep 3, 2022
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
116
Open PR
4
Last Release
3 months ago
Last Commit
1 day 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
250
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
6 years
Latest Release
3 months ago
Dependencies
0
Versions
27
Maintainers
5
Wheels
Linux, macOS, Windows