UnitTestBot/ksmt
Ver no GitHubKotlin/Java API for various SMT solvers
- Estrelas
- 42
- Forks
- 17
- Issues abertas para iniciantes
- 0
- Issues indexadas
- 4
- Linguagem predominante
- Kotlin
- Licença
- Apache-2.0
- Último push no GitHub
- 11/8/2026
- Última indexação
- 20/9/2026
- Guia de contribuição
- Sem guia de contribuição
- Código de conduta
- Sem código de conduta
- Labels para iniciantes
- Nenhum label para iniciantes indexado
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
4 issues abertas indexadas
Carregando issues
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
UnitTestBot/ksmt#164 · 1 reação ·
-
Thread safety Abertaenhancement
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
UnitTestBot/ksmt#54 · 1 comentário ·
-
enhancement
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
UnitTestBot/ksmt#44 ·
-
Incomplete FP support Aberta
UnitTestBot/ksmt#24 · 1 responsável ·