- Stars
- 9 468 étoiles (9 468 étoiles)
- Forks
- 1 445 forks (1 445 forks)
- Issues indexées
- 1 issue indexée (1 issue indexée)
- issues débutant ouvertes
- 0 issue débutant ouverte (0 issue débutant ouverte)
- Dernière indexation
- 14 août 2026
- Dernier push GitHub
- 22 janv. 2024
- Guide de contribution
- Aucun guide de contribution
- Code de conduite
- Aucun code de conduite
- Langage principal
- C++
- Métriques de merge PR
- Merge moyen 1j 16h (Merge moyen 1j 16h)110 PR fusionnées en 30 j (110 PR fusionnées en 30 j)
- Labels débutant
- help wanted
Pourquoi recommandéeLabel adapté aux débutants
Label adapté aux débutants
Z3Prover / z3 · #182 · 31 juil. 2015 · C++ · 9 468 étoiles
14 commentaires6 réactions1 personne assignée