Claim z3
Take ownership of this changelog and unlock full control
Z3Prover/z3
The Z3 Theorem Prover
Full Control
Edit entries, customize styling, and manage subscribers
Verified Owner
Show visitors you're the official maintainer
Auto-Sync
New releases automatically create changelog entries
Claim with GitHub
You'll need to verify you have admin access to Z3Prover/z3