z3

GitHub Stars

382

Forks

53

Contributors

9

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

0.2.0 (Latest)

0.2.0

Latest

See all versions

Release Date

Mar 6, 2018

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

We found a way for you to contribute to the project! Looks like z3 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.

Open Issues

16

Open PR

3

Last Release

7 years ago

Last Commit

8 months ago

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

An important project maintenance signal to consider for z3 is that it hasn't seen any new versions released to PyPI in the past 12 months, and could be considered as a discontinued project, or that which receives low attention from its maintainers.

In the past month we didn't find any pull request activity or change in issues status has been detected for the GitHub repository.

Readme

No

Contributing.md

No

Code of Conduct

No

Contributors

9

Funding

No

This project has seen only 10 or less contributors.

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

How about a good first contribution to this project? It seems that z3 is missing a README file.

Embed Package Health Score Badge

Copy Markdown Copy reStructuredText

Python Versions Compatibility

Unspecified

Age

9 years

Latest Release

7 years ago

Dependencies

N/A

Versions

15

Maintainers

1

Wheels

No