Package org.tweetyproject.lp.asp.reasoner

package org.tweetyproject.lp.asp.reasoner

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.
SolverException	This class models a generic exception for ASP (Answer Set Programming) solvers.