Share
Global Rank#3967Mar 14, 2026
Global Rank#3967Mar 14, 2026
since Mar 2015
Z3Prover/z3
The Z3 Theorem Prover
C++NOASSERTION
12k
1.6k
57
Weekly
12stars
·
116pushes
·
6issues closed
star-history.com
Loading star history...

#3967 of 6,586 · Tracking repos with 8k+ stars