- 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
- 1 open beginner issue (1 open beginner issue)
- Latest indexed
- Jul 24, 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
Z3Prover/z3 #182 opened Jul 31, 2015 · C++ · 9,468 stars
Why recommendedHas a beginner-friendly label
Has a beginner-friendly label
14 comments6 reactions1 assignee