UnitTestBot/ksmt
Xem trên GitHubKotlin/Java API for various SMT solvers
- Star
- 42
- Fork
- 17
- Issue cho người mới đang mở
- 0
- Issue đã lập chỉ mục
- 4
- Ngôn ngữ chính
- Kotlin
- Giấy phép
- Apache-2.0
- Lần push lên GitHub gần nhất
- 11/8/2026
- Lập chỉ mục gần nhất
- 20/9/2026
- Hướng dẫn đóng góp
- Không có hướng dẫn đóng góp
- Quy tắc ứng xử
- Không có quy tắc ứng xử
- Label cho người mới
- Chưa lập chỉ mục label nào cho người mới
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Đã lập chỉ mục 4 issue đang mở
Đang tải issue
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
UnitTestBot/ksmt#164 · 1 reaction ·
-
Thread safety Đang mởenhancement
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
UnitTestBot/ksmt#54 · 1 bình luận ·
-
enhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
UnitTestBot/ksmt#44 ·
-
Incomplete FP support Đang mở
UnitTestBot/ksmt#24 · 1 người được giao ·