Skip to content

This package provides algorithms for reasoning, namely including a sat solver and an automatic theorem prover both based on analytic tableau technique.

License

Notifications You must be signed in to change notification settings

aclai-lab/SoleReasoners.jl

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

SoleReasoners.jl

Dev Build Status codecov

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

About

This package provides algorithms for reasoning, namely including a sat solver and an automatic theorem prover both based on analytic tableau technique.

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages