Z3Prover/z3 Issues

Stars: (9,468 stars)
Forks: (1,445 forks)
Indexed issues: (1 indexed issue)
open beginner issues: (0 open beginner issues)
Latest indexed: Aug 14, 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

0 open indexed issues

No open indexed issues found for this repository.