Repository Issues

Z3Prover/z3

The Z3 Theorem Prover

Stars
 (9,468 stars)
Forks
 (1,445 forks)
Indexed issues
 (1 indexed issue)
open beginner issues
 (1 open beginner issue)
Latest indexed
Jul 24, 2026
Last GitHub push
Jan 22, 2024
License
Other
Contributing guide
No contributing guide
Code of conduct
No code of conduct
Dominant language
C++
PR merge metrics
 (Avg merge 1d 16h) (110 merged PRs in 30d)
Beginner labels
help wanted

Issues

1 open indexed issue