Z3Prover/z3 — GitHub trending stats & insights

Featured

Z3Prover/z3

The Z3 Theorem Prover

C++

12.5k

1.6k

333 contributors

Custom license

Trendshift snapshots GitHub's daily Trending list and runs its own trending list

Z3Prover/z3 has been featured on GitHub Trending, first reaching #2 on Dec 25, 2023

Z3Prover/z3 has trended on Trendshift's daily and weekly list

First achieved on 10th, Dec 2025 for C++

First achieved in Week 50, 2025 for C++

Repository activities