Uses of Class
net.sf.tweety.lp.asp.reasoner.SolverBase

Packages that use SolverBase

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

Uses of SolverBase in net.sf.tweety.lp.asp.reasoner

Subclasses of SolverBase in net.sf.tweety.lp.asp.reasoner

Modifier and Type	Class and Description
class	Clingo Invokes Clingo (Part of the Potassco project), an ASP system that grounds and solves logic programs, and returns computed answer sets.
class	DLV Wrapper class for the DLV answer set solver command line utility.
class	DLVComplex