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
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.
-