GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
arbipher
/
z3
Public
The Z3 Theorem Prover
Other
Updated Jan 15, 2026
Created Oct 18, 2021
View on GitHub
0
stars
0
forks
0
watchers
0
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
NI
NikolajBjorner
11901 commits
WI
wintersteiger
2081 commits
LE
levnach
1720 commits
LE
leodemoura
761 commits
MT
mtrberzi
630 commits
NU
nunoplopes
589 commits
AG
agurfinkel
362 commits
KE
kenmcmil
230 commits
WA
waywardmonkeys
167 commits
CO
Copilot
81 commits
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
136,122
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 0
Closed Issues 0
Open Issues
0
Activity Peak
Most recent day with highest activity
Feb 5, 2026 • 10 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.
No stars/forks history data available