z3

Public

The Z3 Theorem Prover

Other

Updated Feb 5, 2026

Created Mar 26, 2015

11,885 stars

1,604 forks

175 watchers

161 open issues

Languages

Codebase composition by bytes

Top Contributors

11942 commits

2081 commits

1726 commits

761 commits

630 commits

599 commits

362 commits

230 commits

199 commits

167 commits

Recent Stargazers

almost 11 years ago

almost 11 years ago

almost 11 years ago

almost 11 years ago

almost 11 years ago

almost 11 years ago

almost 11 years ago

almost 11 years ago

almost 11 years ago

almost 11 years ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)145,988

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 8Closed Issues 92

Open Issues100

Activity Peak

Most recent day with highest activityFeb 5, 2026 • 10 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

z3