- Stars
- 9,468 stars (9,468 stars)
- Forks
- 1,445 forks (1,445 forks)
- Indexed issues
- 1 indexed issue (1 indexed issue)
- open beginner issues
- 0 open beginner issues (0 open beginner issues)
- Latest indexed
- Aug 14, 2026
- Last GitHub push
- Jan 22, 2024
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Dominant language
- C++
- PR merge metrics
- Avg merge 1d 16h (Avg merge 1d 16h)110 merged PRs in 30d (110 merged PRs in 30d)
- Beginner labels
- help wanted
Why recommendedHas a beginner-friendly label
Has a beginner-friendly label
Z3Prover / z3 · #182 · Jul 31, 2015 · C++ · 9,468 stars
14 comments6 reactions1 assignee