UnitTestBot/ksmt
GitHub で見るKotlin/Java API for various SMT solvers
- スター
- 42
- フォーク
- 17
- オープンの初心者向け issue
- 0
- 索引済み issue
- 4
- 主要言語
- Kotlin
- ライセンス
- Apache-2.0
- 最終 GitHub push
- 2026年8月11日
- 最新の索引
- 2026年9月20日
- コントリビューションガイド
- コントリビューションガイドがありません
- 行動規範
- 行動規範がありません
- 初心者向けラベル
- 初心者向けラベルは索引されていません
- PR マージ指標
- 30日以内にマージされた PR はありません
-
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
UnitTestBot/ksmt#164 · リアクション 1 件 ·
-
Thread safety オープンenhancement
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
UnitTestBot/ksmt#54 · コメント 1 件 ·
-
enhancement
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
UnitTestBot/ksmt#44 ·
-
UnitTestBot/ksmt#24 · 担当者 1 名 ·