Cvc5
/All repositories
Overview
HEALTH SCORE
Healthy
83out of 100
Solid development cadence and maintainer coverage. Security posture keeps the score from reaching Excellent.
LIFECYCLE
Active
Consistent commits, responsive maintainers, regular releases, and healthy issue triage.
Health breakdown
Healthy(83/100)
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
18 active maintainers currently have merge rights.
Organization Diversity
Contributors span 40 organizations.
Project Achievements
Leaderboards
About
CVC5 is an automated theorem prover and SMT (Satisfiability Modulo Theories) solver that can solve problems in various logical theories including propositional logic, first-order logic, and specialized domains. It is used for formal verification, constraint solving, and automated reasoning tasks.
First commit
License(s)
Other
Links
Data sources
Git
GitHub