UnitTestBot/ksmt
Vedi su GitHubKotlin/Java API for various SMT solvers
- Stelle
- 42
- Fork
- 17
- Issue aperte per principianti
- 0
- Issue indicizzate
- 4
- Lingua principale
- Kotlin
- Licenza
- Apache-2.0
- Ultimo push su GitHub
- 11/8/2026
- Ultima indicizzazione
- 20/9/2026
- Guida per i contributori
- Nessuna guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- Nessuna label per principianti indicizzata
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Caricamento delle issue
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
UnitTestBot/ksmt#164 · 1 reazione ·
-
Thread safety Apertaenhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
UnitTestBot/ksmt#54 · 1 commento ·
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
UnitTestBot/ksmt#44 ·
-
Incomplete FP support Aperta
UnitTestBot/ksmt#24 · 1 assegnatario ·