Global Rank#4089Aug 21, 2026
Global Rank#4089Aug 21, 2026
since Mar 2015
Z3Prover/z3
The Z3 Theorem Prover
C++NOASSERTION
12.6k
1.7k
401
Weekly
0stars
·12pushes
Stars
Contributors
New Stars
New Pushes
Forks
star-history.com
Trended 83 days · best rank #1 on Mar 27, 2015
Jul 15, 2026C++#6
Jun 18, 2026C++#19
Apr 28, 2026C++#20
Feb 9, 2026C++#5
Dec 13, 2025C++#10
Dec 11, 2025C++#3
Sep 14, 2025C++#15
May 31, 2025C++#10
May 29, 2025C++#17
May 17, 2025C++#16
Feb 24, 2025C++#14
Dec 18, 2024C++#10
Nov 14, 2024C++#10
Oct 1, 2024C++#4
Aug 13, 2024C++#14
Feb 12, 2024C++#23
Dec 27, 2023C++#5
Dec 26, 2023All languages#17
Dec 26, 2023C++#2
Dec 25, 2023C++#2
Jul 18, 2023C++#14
Feb 25, 2023C++#17
Jan 10, 2023C++#18
Dec 16, 2022C++#3
Oct 2, 2022C++#25
Sep 5, 2022C++#12
Aug 28, 2022C++#23
Aug 26, 2022C++#21
Jul 17, 2022C++#21
Jul 15, 2022C++#5
Jul 12, 2022C++#25
Jun 22, 2022C++#22
May 6, 2022C++#16
Apr 30, 2022C++#20
Apr 12, 2022C++#6
Mar 17, 2022C++#21
Feb 20, 2022C++#24
Feb 1, 2022C++#15
Jan 12, 2022C++#7
Jan 3, 2022C++#19
Dec 25, 2021C++#22
Nov 10, 2021C++#22
Aug 15, 2021C++#9
Aug 7, 2021C++#19
Jun 26, 2021C++#22
Jun 21, 2021C++#25
Dec 6, 2020C++#24
Nov 28, 2020C++#18
Sep 14, 2020C++#20
Sep 1, 2020C++#21
Aug 10, 2020C++#6
May 6, 2020C++#19
May 5, 2020C++#19
Mar 12, 2020C++#20
Jan 23, 2020C++#24
Jan 19, 2020C++#11
Dec 23, 2019C++#13
Nov 5, 2019C++#12
Nov 2, 2019C++#25
Nov 1, 2019C++#13
Sep 22, 2019C++#14
Aug 24, 2019C++#5
Aug 23, 2019C++#15
Jun 2, 2019C++#3
Feb 6, 2019C++#11
Oct 5, 2018C++#24
Feb 16, 2018C++#15
Aug 28, 2016C++#18
Apr 24, 2016C++#17
Sep 2, 2015C++#8
Sep 1, 2015C++#21
May 20, 2015C++#25
May 19, 2015C++#4
Apr 23, 2015C++#23
Apr 20, 2015C++#23
Apr 15, 2015C++#24
Apr 9, 2015C++#18
Apr 2, 2015C++#15
Apr 1, 2015C++#24
Mar 31, 2015C++#6
Mar 30, 2015C++#6
Mar 29, 2015C++#3
Mar 28, 2015C++#1
Mar 27, 2015C++#1
Both badges
GitHub README
<p align="center"> <a href="https://www.star-history.com/z3prover/z3"> <picture><source media="(prefers-color-scheme: dark)" srcset="https://api.star-history.com/badge?repo=Z3Prover/z3&type=rank&theme=dark" /><source media="(prefers-color-scheme: light)" srcset="https://api.star-history.com/badge?repo=Z3Prover/z3&type=rank" /><img alt="Star History Rank" src="https://api.star-history.com/badge?repo=Z3Prover/z3&type=rank" /></picture> <picture><source media="(prefers-color-scheme: dark)" srcset="https://api.star-history.com/badge?repo=Z3Prover/z3&type=trending&theme=dark" /><source media="(prefers-color-scheme: light)" srcset="https://api.star-history.com/badge?repo=Z3Prover/z3&type=trending" /><img alt="GitHub Trending Repository of the Day" src="https://api.star-history.com/badge?repo=Z3Prover/z3&type=trending" /></picture> </a> </p>
Markdown (Light)
[](https://www.star-history.com/z3prover/z3) [](https://www.star-history.com/z3prover/z3)
Markdown (Dark)
[](https://www.star-history.com/z3prover/z3) [](https://www.star-history.com/z3prover/z3)
HTML (Light)
<p align="center"> <a href="https://www.star-history.com/z3prover/z3"><img src="https://api.star-history.com/badge?repo=Z3Prover/z3&type=rank" alt="Star History Rank" /> <img src="https://api.star-history.com/badge?repo=Z3Prover/z3&type=trending" alt="GitHub Trending Repository of the Day" /></a> </p>
HTML (Dark)
<p align="center"> <a href="https://www.star-history.com/z3prover/z3"><img src="https://api.star-history.com/badge?repo=Z3Prover/z3&type=rank&theme=dark" alt="Star History Rank" /> <img src="https://api.star-history.com/badge?repo=Z3Prover/z3&type=trending&theme=dark" alt="GitHub Trending Repository of the Day" /></a> </p>
Global Rank
GitHub README
<p align="center"> <a href="https://www.star-history.com/z3prover/z3"> <picture> <source media="(prefers-color-scheme: dark)" srcset="https://api.star-history.com/badge?repo=Z3Prover/z3&type=rank&theme=dark" /> <source media="(prefers-color-scheme: light)" srcset="https://api.star-history.com/badge?repo=Z3Prover/z3&type=rank" /> <img alt="Star History Rank" src="https://api.star-history.com/badge?repo=Z3Prover/z3&type=rank" /> </picture> </a> </p>
Markdown (Light)
[](https://www.star-history.com/z3prover/z3)
Markdown (Dark)
[](https://www.star-history.com/z3prover/z3)
HTML (Light)
<p align="center"> <a href="https://www.star-history.com/z3prover/z3"><img src="https://api.star-history.com/badge?repo=Z3Prover/z3&type=rank" alt="Star History Rank" /></a> </p>
HTML (Dark)
<p align="center"> <a href="https://www.star-history.com/z3prover/z3"><img src="https://api.star-history.com/badge?repo=Z3Prover/z3&type=rank&theme=dark" alt="Star History Rank" /></a> </p>
GitHub Trending Repository of the Day
GitHub README
<p align="center"> <a href="https://www.star-history.com/z3prover/z3"> <picture> <source media="(prefers-color-scheme: dark)" srcset="https://api.star-history.com/badge?repo=Z3Prover/z3&type=trending&theme=dark" /> <source media="(prefers-color-scheme: light)" srcset="https://api.star-history.com/badge?repo=Z3Prover/z3&type=trending" /> <img alt="GitHub Trending Repository of the Day" src="https://api.star-history.com/badge?repo=Z3Prover/z3&type=trending" /> </picture> </a> </p>
Markdown (Light)
[](https://www.star-history.com/z3prover/z3)
Markdown (Dark)
[](https://www.star-history.com/z3prover/z3)
HTML (Light)
<p align="center"> <a href="https://www.star-history.com/z3prover/z3"><img src="https://api.star-history.com/badge?repo=Z3Prover/z3&type=trending" alt="GitHub Trending Repository of the Day" /></a> </p>
HTML (Dark)
<p align="center"> <a href="https://www.star-history.com/z3prover/z3"><img src="https://api.star-history.com/badge?repo=Z3Prover/z3&type=trending&theme=dark" alt="GitHub Trending Repository of the Day" /></a> </p>