- Stars
- 9.468 Sterne (9.468 Sterne)
- Forks
- 1.445 Forks (1.445 Forks)
- Indexierte Issues
- 1 indexiertes Issue (1 indexiertes Issue)
- offene Einsteiger-Issues
- 0 offene Einsteiger-Issues (0 offene Einsteiger-Issues)
- Zuletzt indexiert
- 14.08.2026
- Letzter GitHub Push
- 22.01.2024
- Contributing Guide
- Kein Contributing Guide
- Code of Conduct
- Kein Code of Conduct
- Hauptsprache
- C++
- PR-Merge-Metriken
- Durchschn. Merge 1T 16h (Durchschn. Merge 1T 16h)110 zusammengeführte PRs in 30 T (110 zusammengeführte PRs in 30 T)
- Einsteiger-Labels
- help wanted
Warum empfohlenEinsteigerfreundliches Label vorhanden
Einsteigerfreundliches Label vorhanden
Z3Prover / z3 · #182 · 31.07.2015 · C++ · 9.468 Sterne
14 Kommentare6 Reaktionen1 zugewiesene Person 