Issues do repositório

Z3Prover/z3

The Z3 Theorem Prover

Ver no GitHub
Stars
 (9.468 estrelas)
Forks
 (1.445 forks)
Issues indexadas
 (1 issue indexada)
issues iniciantes abertas
 (0 issue iniciante aberta)
Última indexação
14 de ago. de 2026
Último push no GitHub
22 de jan. de 2024
Licença
Other
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) (110 PR mescladas em 30 dias)
Labels para iniciantes
help wanted

Issues

1 issue indexada