aclai-lab/SoleReasoners.jl

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.

语言：Julia · GitHub 星标：4 · Fork：0

在 GitHub 上查看原仓库