- Stars
- 9.468 estrelas (9.468 estrelas)
- Forks
- 1.445 forks (1.445 forks)
- Issues indexadas
- 1 issue indexada (1 issue indexada)
- issues iniciantes abertas
- 0 issue iniciante aberta (0 issue iniciante aberta)
- Última indexação
- 14 de ago. de 2026
- Último push no GitHub
- 22 de jan. de 2024
- Guia de contribuição
- Nenhum guia de contribuição
- Código de conduta
- Nenhum código de conduta
- Linguagem principal
- C++
- Métricas de merge de PR
- Mesclagem média 1d 16h (Mesclagem média 1d 16h)110 PR mescladas em 30 dias (110 PR mescladas em 30 dias)
- Labels para iniciantes
- help wanted
Por que recomendamosTem label amigável para iniciantes
Tem label amigável para iniciantes
Z3Prover / z3 · #182 · 31 de jul. de 2015 · C++ · 9.468 estrelas
14 comentários6 reações1 responsável