Uses of Class
net.sf.tweety.logics.pl.sat.SatSolver

Packages that use SatSolver

Package	Description
net.sf.tweety.logics.pl.sat

Uses of SatSolver in net.sf.tweety.logics.pl.sat

Subclasses of SatSolver in net.sf.tweety.logics.pl.sat

Modifier and Type	Class	Description
class	LingelingSolver	A wrapper for the Lingeling SAT solver (tested with Lingeling version ats1 ce8c04fc97ef07cf279c0c5dcbbc7c5d9904230a).
class	MaxSatSolver	Provides a generic class for implementing MaxSAT solvers, i.e.
class	OpenWboSolver	Provides an interface to the open-wbo MaxSAT solver, see https://github.com/sat-group/open-wbo.
class	Sat4jSolver	Uses the Sat4j library for SAT solving (note that currently only the light version is used).
class	SimpleDpllSolver	This class provides a simple reference implementation of the DPLL (Davis–Putnam–Logemann–Loveland) algorithm for satisfiability testing, see e.g https://en.wikipedia.org/wiki/DPLL_algorithm.

Methods in net.sf.tweety.logics.pl.sat that return SatSolver

Modifier and Type	Method	Description
static SatSolver	SatSolver.getDefaultSolver()	Returns the default SAT solver. If a default SAT solver has been configured this solver is returned by this method.

Methods in net.sf.tweety.logics.pl.sat with parameters of type SatSolver

Modifier and Type	Method	Description
static void	SatSolver.setDefaultSolver(SatSolver solver)	Sets the default SAT solver.