SoleReasoners is a Julia package for automated reasoning built on top of SoleLogics.jl, and part of Sole.jl, an open-source framework for symbolic machine learning.
To install SoleReasoners.jl, use the Julia package manager:
using Pkg
Pkg.add("SoleReasoners")SoleReasoners.jl provides a SAT solver and an automated theorem prover based on the method of analytic tableaux.
It also provides a Many-Valued version for both algorithms, therefore solving the
We are currently working on a modal version of both algorithms which also works with Many-Valued logics.
The package is developed by the ACLAI Lab @ University of Ferrara.