Z3
/All repositories
Overview
HEALTH SCORE
Excellent*
Partial score (2/3 categories)
65out of 65
Consistent maintainer coverage and development cadence across the board. Security & Supply Chain is unavailable, so weights were redistributed.
LIFECYCLE
Active
Consistent commits, responsive maintainers, regular releases, and healthy issue triage.
Health breakdown
Excellent*(65/65)
Maintainer availability, known risks and supply chain posture, and whether the project is actively developed or appropriately stable.
Maintainer responsiveness
Median response time is 1 day.
Bus factor
11 active maintainers currently have merge rights.
Organization Diversity
Contributors span 399 organizations.
Project Achievements
Leaderboards
About
Z3 is a high-performance theorem prover and satisfiability modulo theories (SMT) solver developed by Microsoft Research. It provides a state-of-the-art solver for logical formulas over multiple theories, supporting applications in software verification, analysis, testing, and automated theorem proving.
First commit
Software value
$25M
License(s)
Other
Links
Data sources
Git
GitHub