z3
The Z3 Theorem Prover
Main metrics
Overview
| Name With Owner | Z3Prover/z3 |
|---|---|
| Primary Language | C++ |
| Program language | C++ (Language Count: 17) |
| Platform | |
| License: | Other |
| Release Count | 53 |
| Last Release Name | z3-4.15.4 (Posted on ) |
| First Release Name | z3-4.1.1 (Posted on ) |
| Created At | 2015-03-27 02:16:07 |
| Pushed At | 2025-11-05 00:47:13 |
| Last Commit At | 2025-11-04 04:54:07 |
| Stargazers Count | 11504 |
| Watchers Count | 176 |
| Fork Count | 1574 |
| Commits Count | 20090 |
| Has Issues Enabled | |
| Issues Count | 5784 |
| Issue Open Count | 150 |
| Pull Requests Count | 1540 |
| Pull Requests Open Count | 6 |
| Pull Requests Close Count | 292 |
| Has Wiki Enabled | |
| Is Archived | |
| Is Fork | |
| Is Locked | |
| Is Mirror | |
| Is Private |
