Uses of Class
Uses of SatSolver in org.tweetyproject.arg.dung.reasoner
Constructors in org.tweetyproject.arg.dung.reasoner with parameters of type SatSolver Constructor Description
AbstractSatExtensionReasoner(SatSolver solver)Instantiates a new reasoner that uses the given SAT solver
SatCompleteReasoner(SatSolver solver)Constructs a new complete reasoner.
SatStableReasoner(SatSolver solver)Constructs a new stable reasoner.
SeeAcceptabilityReasoner(SatSolver satSolver)Creates a new IaqAcceptabilityReasoner.
Uses of SatSolver in org.tweetyproject.logics.pl.analysis
Constructors in org.tweetyproject.logics.pl.analysis with parameters of type SatSolver Constructor Description
ContensionSatInconsistencyMeasure(SatSolver solver)Create a new ContensionSatInconsistencyMeasure with the given SAT solver.
DHitSatInconsistencyMeasure(SatSolver solver)Create a new DHitSatInconsistencyMeasure with the given SAT solver.
DMaxSatInconsistencyMeasure(SatSolver solver)Create a new DMaxSatInconsistencyMeasure with the given SAT solver.
DSumSatInconsistencyMeasure(SatSolver solver)Create a new DSumSatInconsistencyMeasure with the given SAT solver.
HsSatInconsistencyMeasure(SatSolver solver)Create a new HsSatInconsistencyMeasure with the given SAT solver.
SatBasedInconsistencyMeasure(SatSolver solver)Create a new SAT-based inconsistency measure with the given SAT solver.
Uses of SatSolver in org.tweetyproject.logics.pl.sat
Subclasses of SatSolver in org.tweetyproject.logics.pl.sat Modifier and Type Class Description
CmdLineSatSolverThis class offers a generic wrapper for command line based SAT solvers.
MaxSatSolverProvides a generic class for implementing MaxSAT solvers, i.e.
OpenWboSolverProvides an interface to the open-wbo MaxSAT solver, see https://github.com/sat-group/open-wbo.
Sat4jSolverUses the Sat4j library for SAT solving (note that currently only the light version is used).
SimpleDpllSolverThis 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 org.tweetyproject.logics.pl.sat that return SatSolver Modifier and Type Method Description
getDefaultSolver()Returns the default SAT solver.
If a default SAT solver has been configured this solver is returned by this method.
Uses of SatSolver in org.tweetyproject.web.services