Package | Description |
---|---|
net.sf.tweety.arg.dung.reasoner | |
net.sf.tweety.logics.pl.sat | |
net.sf.tweety.web.services |
Modifier and Type | Field and Description |
---|---|
private SatSolver |
AbstractSatExtensionReasoner.solver
A SAT solver
|
Constructor and 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.
|
Modifier and Type | Class and Description |
---|---|
class |
LingelingSolver
A wrapper for the Lingeling SAT solver
(tested with Lingeling version ats1 ce8c04fc97ef07cf279c0c5dcbbc7c5d9904230a).
|
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.
|
Modifier and Type | Field and Description |
---|---|
private static SatSolver |
SatSolver.defaultSatSolver
The default SAT solver.
|
Modifier and Type | Method and 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.
|
Modifier and Type | Method and Description |
---|---|
static void |
SatSolver.setDefaultSolver(SatSolver solver)
Sets the default SAT solver.
|
Modifier and Type | Field and Description |
---|---|
static SatSolver |
InconsistencyMeasurementService.satSolver
The SAT solver configured for this service.
|