UnitTestBot/ksmt
Ver en GitHubKotlin/Java API for various SMT solvers
- Estrellas
- 42
- Forks
- 17
- Issues abiertos para principiantes
- 0
- Issues indexados
- 4
- Lenguaje dominante
- Kotlin
- Licencia
- Apache-2.0
- Último push a GitHub
- 11/8/2026
- Última indexación
- 20/9/2026
- Guía de contribución
- Sin guía de contribución
- Código de conducta
- Sin código de conducta
- Etiquetas para principiantes
- Sin etiquetas para principiantes indexadas
- Métricas de merge de PR
- Sin PR fusionados en 30 d
4 issues abiertos indexados
Cargando issues
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
UnitTestBot/ksmt#164 · 1 reacción ·
-
Thread safety Abiertoenhancement
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
UnitTestBot/ksmt#54 · 1 comentario ·
-
enhancement
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
UnitTestBot/ksmt#44 ·
-
Incomplete FP support Abierto
UnitTestBot/ksmt#24 · 1 asignado ·