Package net.sf.tweety.lp.asp.reasoner

Class Summary

Class	Description
ASPSolver	This class provides a common interface for asp solvers.
ClingoSolver	Invokes Clingo (Part of the Potassco project), an ASP system that grounds and solves logic programs, and returns computed answer sets.
DLVSolver	Wrapper class for the DLV answer set solver command line utility.

Exception Summary

Exception	Description
SolverException	This class models a generic exception for ASP solvers.