StableVery rare
Z3Prover/z3
The Z3 Theorem Prover
- Owner
- Z3Prover (organization)
- Stars
- Stars: 12,870
- Forks
- Forks: 1,722
- Language
- C++
- License
- None
- Created
- 2015
- Tier
- Stable (5,000 to 19,999 ★) What this tier means
More repos by Z3Prover
All 2 repos by Z3Prover- Z3Prover/FirewallCheckerStars: 112C#Prototype
Nearby in C++
All C++ repos- justcallmekoko/ESP32MarauderStars: 12,972C++Stable
- PX4/PX4-AutopilotStars: 12,953C++Stable
- google/guetzliStars: 12,885C++Stable
- zealdocs/zealStars: 12,862C++Stable
- ShiqiYu/libfacedetectionStars: 12,811C++Stable
- JoeyDeVries/LearnOpenGLStars: 12,680C++Stable