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.