SoleReasoners.jl

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.

Installation

To install SoleReasoners.jl, use the Julia package manager:

using Pkg
Pkg.add("SoleReasoners")

Feature Summary

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 $\alpha$-satisfiability and $\alpha$-validity problems respectively.

Future work

We are currently working on a modal version of both algorithms which also works with Many-Valued logics.

About

The package is developed by the ACLAI Lab @ University of Ferrara.

More on Sole

• SoleLogics
• SoleData.jl
• SoleFeatures.jl
• SoleModels.jl
• SolePostHoc.jl