Issues du dépôt

Z3Prover/z3

The Z3 Theorem Prover

Voir sur GitHub
Stars
 (9 468 étoiles)
Forks
 (1 445 forks)
Issues indexées
 (1 issue indexée)
issues débutant ouvertes
 (0 issue débutant ouverte)
Dernière indexation
14 août 2026
Dernier push GitHub
22 janv. 2024
Licence
Other
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) (110 PR fusionnées en 30 j)
Labels débutant
help wanted

Issues

1 issue indexée fermée