Global Rank#3967Mar 14, 2026
Global Rank#3967Mar 14, 2026
since Mar 2015Z3Prover/z3
The Z3 Theorem ProverC++NOASSERTION
Weekly12stars
·116pushes
·6issues closed
star-history.comDay-Zero Squad
The first 20 people who starred this repo
#3967 of 6,586 · Tracking repos with 8k+ stars