Downloads in the 30 and 7 days to October 10, 2026. Refreshed weekly.
Package Information
Latest Version
Requires Python
Not specified
Licence
MIT License
Last Release
16 hr ago
Author
The Z3 Theorem Prover Project
First Release
October 11, 2016
Total Releases
52
No reported malware or high/critical advisories · Details
The current version has no OSV.dev malware reports and no critical or high-severity vulnerabilities.
Package Insights
Score breakdown - each component scores 0-100, weighted by percentage
Maintenance
100
Popularity
87
Adoption
90
Community
75
Provenance
100
How the maintenance status was determined
Last commit
2 days ago
Monthly downloads
5,730,075
•
Active
Activity within 30 days
Stable
Activity within 31-180 days
Minimal
Activity within 181-365 days, or no activity data
At Risk
No activity for > 365 days, but > 10,000 monthly downloads
Archived
Repository flagged as archived on GitHub
How the popularity category was determined
Monthly downloads
5,730,075
Stars
12,781
Stars per 1k downloads
2.23
Industry Standard
> 10,000,000 monthly downloads
Hidden Gem
< 0.5 stars per 1k downloads and > 100,000 monthly downloads
Community Favorite
> 5 stars per 1k downloads
•
Rising Star
Balanced ratio of stars to downloads
Unknown
Fewer than 1,000 monthly downloads, or no star data
How download momentum is calculated
Week daily avg
217,652
Month daily avg
191,002
Momentum
+14.0%
((week_daily_avg - month_daily_avg) / month_daily_avg) * 100More insights and metrics
Python version support tiers
requires_python
Not specified
Cutting Edge
Minimum supported version is 3.14 or newer
Modern
Minimum supported version is 3.11 to 3.13
Legacy
Supports 3.10 or older (or Python 2)
•
Unknown
No requires_python specified or unparseable
Package does not declare a minimum Python version.
License categories
License
MIT License
•
Permissive
MIT, Apache, BSD, ISC, Unlicense, CC0, etc.
Copyleft
GPL, LGPL, AGPL, MPL, EPL, etc.
Proprietary
Commercial, all rights reserved, custom EULAs
Unknown
No license specified, or none of the above match
How the release cadence was determined
Last release
0 days ago
Total releases
52
Releases/year
5.2
Rapid
Last release within 365 days and > 12 releases/year
•
Regular
Last release within 365 days
Slow
Last release 366-730 days ago
Stalled
Last release > 730 days ago, or no releases
Unknown
No usable release date available
How contributor risk was determined
Contributors
337
Monthly downloads
5,730,075
High Load
≤ 2 contributors and ≥ 50,000 monthly downloads
Moderate Load
< 10 contributors and ≥ 500,000 monthly downloads
Low Load
< 25 contributors and ≥ 5,000,000 monthly downloads, or sole maintainer with ≥ 10,000 monthly downloads
•
Balanced
Enough contributors for the package's popularity
Unknown
No contributor data available
Engagement
83
Issue Burden
2.6
per 1k stars
Discussions
98.3
per 1k stars
Fork Ratio
19.8%
contrib / forks
Stale Release
No
PR Velocity
Quiet
Not all downloads include detailed metadata. Breakdowns reflect the subset that does.
Downloads by OS
Linux
181.7K
Windows
4.1K
macOS
2.7K
Python Versions
3.12
61.7%
109.6K
3.13
12.7%
22.6K
3.10
9.5%
16.9K
3.14
8.4%
15.0K
3.11
7.7%
13.6K
Top Countries
1.
US
157.1K
US
2.
CN
4.9K
CN
3.
FI
4.6K
FI
4.
SG
4.6K
SG
5.
DE
3.9K
DE
6.
JP
2.6K
JP
7.
IN
1.6K
IN
8.
CA
1.6K
CA
9.
KR
1.5K
KR
10.
FR
1.3K
FR
Weekly Downloads
GitHub Stars *
Dependencies
1
-
importlib-resources
python_version < "3.9"
Used By
223
- tilelang 2.9M/mo
- crosshair-tool 402.6K/mo
- angr 261.2K/mo
- genesis-world 131.9K/mo
- claripy 105.3K/mo
- raes 26.3K/mo
- qwed 18.2K/mo
- halmos 15.8K/mo
- pgrls 13.6K/mo
- certo-math 12.9K/mo