Z3Prover/z3

z3

✅ Recently maintained

The Z3 Theorem Prover

12,875Stars
1,722Forks
+327-day stars

C++ · License unverified · Last push 2026-11-02

Official repository & installation ↗

GitValue · Value evidence

Unscored · Evidence coverage 0%

Provisional rubric; documentation and runtime testing are separate. Missing evidence does not imply low value.

Star history

2025-09-292026-11-03
View historical data
DateStars
2026-10-0512,735
2026-10-0612,736
2026-10-0712,740
2026-10-0812,747
2026-10-0912,756
2026-10-1012,756
2026-10-1112,756
2026-10-1212,765
2026-10-1312,769
2026-10-1412,771
2026-10-1512,775
2026-10-1612,777
2026-10-1712,780
2026-10-1812,784
2026-10-1912,790
2026-10-2012,796
2026-10-2112,799
2026-10-2212,806
2026-10-2312,815
2026-10-2412,822
2026-10-2512,831
2026-10-2612,839
2026-10-2712,849
2026-10-2812,854
2026-10-2912,859
2026-10-3012,864
2026-10-3112,865
2026-11-0112,869
2026-11-0212,873
2026-11-0312,875

Get the project

git clone https://github.com/Z3Prover/z3.git

Cloning downloads the source. For dependencies and installation, follow the project README.

Related projects & alternative candidates

Related domains do not imply feature parity. Review official documentation and licenses.