py312-z3 (math/z3) Updated: 1 month, 3 weeks ago Add to my watchlist
Python 3.12 bindings for the Z3 theorem proverPython 3.12 bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.15.3 License: MIT
GitHub
Statistics for selected duration
2025-Sep-25 to 2025-Oct-25
| Total Installations | 3 |
|---|---|
| Requested Installations | 1 |
Loading Chart 
Loading Chart 
Loading Chart 
Loading Chart 
| Variants | Count |
|---|
Monthly Statistics
Can remain cached for up to 24 hours
Loading Chart
Percentage of installations per version per month
Loading Chart 