AwesomeRepos
Sign in

Z3Prover /z3

Open on GitHub

The Z3 Theorem Prover

Stars
12,873 stars
Forks
1,722 forks
Language
C++
License
OTHER
Created
Mar 26, 2015
Last push
Nov 2, 2026
Updated
Nov 2, 2026

In the Repository Index from the Seed Dataset since Oct 22, 2026.

Star History

192 days recorded, Apr 26, 2026 – Nov 3, 2026 (UTC). Net change +769 stars.

Stars at the end of each day12,873 now
Apr 26, 2026Nov 3, 2026
Net stars each dayhighest +13
+13 on Sep 17, 2026
Apr 26, 2026Nov 3, 2026

The star count of each day is the latest count less the net stars of the later days.

Add this Star History to a README

The images follow the light or dark theme of the page that shows them, and update every hour. Add ?theme=light or ?theme=darkto the chart address to keep one theme.

Star History chart

[![Star History of Z3Prover/z3](https://awesomerepos.com/Z3Prover/z3/stars.svg)](https://awesomerepos.com/Z3Prover/z3)

Badge

[![AwesomeRepos](https://awesomerepos.com/Z3Prover/z3/badge.svg)](https://awesomerepos.com/Z3Prover/z3)

Timeline

This repository got 13 stars on Sep 17, 2026, its largest day since Apr 26, 2026.

It gained stars on 184 of the 192 days with a record.

Its largest 7 days were Oct 22, 2026 to Oct 28, 2026: 49 stars.

In the 30 days to Nov 3, 2026 it got 137 stars, 7% more than in the 30 days before.

It had 12,104 stars before Apr 26, 2026 and has 12,873 stars now: 12,127 fewer than 25,000.

  1. Created on the Repository Host
  2. +11 stars in one day
  3. +11 stars in one day
  4. Largest star day recorded: +13 stars
  5. Entered the Repository Index from the Seed Dataset
  6. Latest push

From the Repository Host's creation date and releases, the Admission, the Star History, and the Observations. Star milestones show only when the Star History records the day. On the chart of net stars each day, a solid line marks a release.

Forks and pushes

From 13 Observations, Oct 22, 2026 – Nov 3, 2026. Forks +17. A new push was seen on 12 of 12 days.

Forks1,722
  1. Oct 23, 2026: new push
  2. Oct 24, 2026: new push
  3. Oct 25, 2026: new push
  4. Oct 26, 2026: new push
  5. Oct 27, 2026: new push
  6. Oct 28, 2026: new push
  7. Oct 29, 2026: new push
  8. Oct 30, 2026: new push
  9. Oct 31, 2026: new push
  10. Nov 1, 2026: new push
  11. Nov 2, 2026: new push
  12. Nov 3, 2026: new push

A filled day: the last push time changed since the Observation before it.

Dependencies in the index

AwesomeRepos has not scanned the dependency graph of this repository. The scan reads the 2,000 visible repositories with the most stars.

2 scanned repositories name a package from this repository.

UsesUsed byZ3Prover/z3pytorch/pytorchpytorch/pytorchvllm-project/vllmvllm-project/vllmNone in the index
An arrow points from the repository that names a package to the repository that the package comes from.

Uses (in the index) 0

None.

Used by (in the index) 2

Sources: the GitHub dependency graph of each repository, and deps.dev for the source repository of each package. A dependency graph also names development packages. deps.dev takes most source repositories from package metadata. How the dependency graph is made

Observations

What the Repository Host reported each day.

Day (UTC)StarsForksLast pushArchived
Nov 3, 202612,8731,722Nov 2, 2026No
Nov 2, 202612,8701,722Nov 1, 2026No
Nov 1, 202612,8661,721Oct 31, 2026No
Oct 31, 202612,8631,720Oct 30, 2026No
Oct 30, 202612,8581,716Oct 29, 2026No
Oct 29, 202612,8521,713Oct 28, 2026No
Oct 28, 202612,8511,712Oct 27, 2026No
Oct 27, 202612,8411,712Oct 27, 2026No
Oct 26, 202612,8361,710Oct 25, 2026No
Oct 25, 202612,8271,708Oct 24, 2026No
Oct 24, 202612,8201,705Oct 24, 2026No
Oct 23, 202612,8111,705Oct 22, 2026No
Oct 22, 202612,8091,705Oct 22, 2026No
Report a problem with this page

Do not include personal data. AwesomeRepos keeps the message, the page, and the time.