- Star
- 9468 stelle (9468 stelle)
- Fork
- 1445 fork (1445 fork)
- Issue indicizzate
- 1 issue indicizzata (1 issue indicizzata)
- issue per principianti aperte
- 0 issue per principianti aperte (0 issue per principianti aperte)
- Ultima indicizzazione
- 14 ago 2026
- Ultimo push GitHub
- 22 gen 2024
- Guida contributori
- Nessuna guida contributori
- Codice di condotta
- Nessun codice di condotta
- Linguaggio principale
- C++
- Metriche merge PR
- Merge medio 1g 16h (Merge medio 1g 16h)110 PR unite in 30 g (110 PR unite in 30 g)
- Label per principianti
- help wanted
Perché consigliataHa una label adatta ai principianti
Ha una label adatta ai principianti
Z3Prover / z3 · #182 · 31 lug 2015 · C++ · 9468 stelle
14 commenti6 reazioni1 assegnatario