Issue del repository

Z3Prover/z3

The Z3 Theorem Prover

Vedi su GitHub
Star
 (9468 stelle)
Fork
 (1445 fork)
Issue indicizzate
 (1 issue indicizzata)
issue per principianti aperte
 (0 issue per principianti aperte)
Ultima indicizzazione
14 ago 2026
Ultimo push GitHub
22 gen 2024
Licenza
Other
Guida contributori
Nessuna guida contributori
Codice di condotta
Nessun codice di condotta
Linguaggio principale
C++
Metriche merge PR
 (Merge medio 1g 16h) (110 PR unite in 30 g)
Label per principianti
help wanted

Issue

1 issue indicizzata