Uses of Interface
org.tweetyproject.logics.commons.analysis.ConsistencyWitnessProvider

Packages that use ConsistencyWitnessProvider

Package	Description
org.tweetyproject.logics.pl.sat

Uses of ConsistencyWitnessProvider in org.tweetyproject.logics.pl.sat

Classes in org.tweetyproject.logics.pl.sat that implement ConsistencyWitnessProvider

Modifier and Type	Class	Description
class	CmdLineSatSolver	This class offers a generic wrapper for command line based SAT solvers.
class	DimacsMaxSatSolver	Generic class for Dimacs-based MaxSAT solvers.
class	DimacsSatSolver	Interface for SAT solvers which work on the Dimacs format.
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	SatSolver	Abstract class for specifying SAT solvers.
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.