z3-solver
an efficient SMT solver library
v4.16.0.0by The Z3 Theorem Prover ProjectMIT License
AI Health Summary — Claude-generated analysis of download trends, maintenance, and risk signals.
Upgrade to PRONo known vulnerabilities in the latest version
Based on latest version 4.16.0.0. If you're running an older version, check OSV for your specific version.
Exclude CI/CDPRO
Best Day
108.3K
Mar 24
Worst Day
36.7K
Apr 11
Peaks On
Tues
85.1K avg
Quietest
Sats
50.9K avg
Download Trend
By Version
Version Downloads
By Python Version
Version Downloads
Badge
Markdown
[](/packages/z3-solver)
HTML
<a href="/packages/z3-solver"><img src="/api/badges/z3-solver?period=month" alt="PyPI Stats"></a>