Z3Prover/z3

The Z3 Theorem Prover

Read 12h ago

36.2%Merged PRs by AI agents

162 / 447 merged PRs · 90 days

AI agents: 162
User accounts: 257
Other bots: 28

Agents

GitHub Copilot