aclai-lab/SoleReasoners.jl
GitHub で見るThis package provides algorithms for reasoning up to many-valued multi-modal logic, namely including a SAT solver and an automated theorem prover, both based on analytic tableau technique.
- スター
- 4
- フォーク
- 0
- オープンの初心者向け issue
- 0
- 索引済み issue
- 3
- 主要言語
- Julia
- ライセンス
- MIT
- 最終 GitHub push
- 2026年5月13日
- 最新の索引
- 2026年9月13日
- コントリビューションガイド
- コントリビューションガイドがありません
- 行動規範
- 行動規範がありません
- 初心者向けラベル
- 初心者向けラベルは索引されていません
- PR マージ指標
- 30日以内にマージされた PR はありません
-
aclai-lab/SoleReasoners.jl#9 · コメント 6 件 · リアクション 0 件 · 担当者 0 名 ·
-
documentation enhancement
aclai-lab/SoleReasoners.jl#11 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
aclai-lab/SoleReasoners.jl#14 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·