- 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
- 21.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
- PR-Metriken ausstehend (PR-Metriken ausstehend)
- 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 