SoleReasoners
Introduction
Welcome to the documentation for SoleReasoners, a Julia package for automated reasoning built on top of SoleLogics 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 based on the method of analytic tableau.
About
The package is developed by the ACLAI Lab @ University of Ferrara.