RepoStreet
Z3Prover

z3prover/z3

steady

The Z3 Theorem Prover

Stars
12,414
Forks
1,672
Open issues
163
24h
+2
+0.0%
7d
+29
+0.2%
Refresh
1h

Star history (7 days)

Last checked
28m ago
Last pushed
2h ago
Next check
just now