# Z3Prover/z3

<https://repo.masters-masters.com/en/repos/Z3Prover/z3>

[Home](https://repo.masters-masters.com/en) › [Z3Prover](https://repo.masters-masters.com/en/owners/Z3Prover) › [z3](https://repo.masters-masters.com/en/repos/Z3Prover/z3)

Z3Prover/z3 has 12,879 stars on GitHub. Its RepoMasters card: Stable tier. The Z3 Theorem Prover Language: C++.

| Field | Value |
| --- | --- |
| Owner | [Z3Prover](https://repo.masters-masters.com/en/owners/Z3Prover) |
| Stars | 12,879 |
| Forks | 1,724 |
| Language | [C++](https://repo.masters-masters.com/en/languages/c-plus-plus) |
| License | None |
| Created | 2015 |
| Tier | [Stable (5,000 to 19,999 ★)](https://repo.masters-masters.com/en/ranks/cult) |
| View on GitHub | [Z3Prover/z3](https://github.com/Z3Prover/z3) |

## Repository

The Z3 Theorem Prover

The tier for repos with 5,000 to 19,999 ★. Published odds per card pulled: 0.9%. Rarity: Very rare.

## More repos by Z3Prover

- [Z3Prover/FirewallChecker · ★ 112 · C\# · Prototype](https://repo.masters-masters.com/en/repos/Z3Prover/FirewallChecker)

## Nearby in C++

- [justcallmekoko/ESP32Marauder · ★ 12,995 · C++ · Stable](https://repo.masters-masters.com/en/repos/justcallmekoko/ESP32Marauder)
- [PX4/PX4-Autopilot · ★ 12,963 · C++ · Stable](https://repo.masters-masters.com/en/repos/PX4/PX4-Autopilot)
- [google/guetzli · ★ 12,885 · C++ · Stable](https://repo.masters-masters.com/en/repos/google/guetzli)
- [zealdocs/zeal · ★ 12,866 · C++ · Stable](https://repo.masters-masters.com/en/repos/zealdocs/zeal)
- [ShiqiYu/libfacedetection · ★ 12,811 · C++ · Stable](https://repo.masters-masters.com/en/repos/ShiqiYu/libfacedetection)
- [JoeyDeVries/LearnOpenGL · ★ 12,685 · C++ · Stable](https://repo.masters-masters.com/en/repos/JoeyDeVries/LearnOpenGL)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.