aclai-lab/SoleReasoners.jl
View on GitHubThis 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.
- Stars
- 4
- Forks
- 0
- Open beginner issues
- 0
- Indexed issues
- 3
- Dominant language
- Julia
- License
- MIT
- Last GitHub push
- May 13, 2026
- Latest indexed
- Sep 13, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
- PR merge metrics
- No merged PRs in 30d
-
aclai-lab/SoleReasoners.jl#9 · 6 comments · 0 reactions · 0 assignees ·
-
documentation enhancement
aclai-lab/SoleReasoners.jl#11 · 0 comments · 0 reactions · 0 assignees ·
-
aclai-lab/SoleReasoners.jl#14 · 0 comments · 0 reactions · 0 assignees ·