Z3Prover / z3

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

The Z3 Theorem Prover

stars, 24h · #4,865

+~21

stars, 7 days · #5,612

+~90

stars, 30 days · #5,943

13k

★ total · +0% this week

1.7k

forks · 47 open issues

2026-10-20 · 12,802 ★ 2026-10-22 · 12,807 ★

LanguageC++

License—

Created2015-03-26 (11y ago)

Last pushtoday

OwnerOrganization