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.