Package | Description |
---|---|
net.sf.tweety.logics.pl.analysis | |
net.sf.tweety.logics.pl.sat |
Modifier and Type | Field and Description |
---|---|
private ConsistencyWitnessProvider<PlBeliefSet,PropositionalFormula> |
HsInconsistencyMeasurementProcess.witnessProvider
The witness provider used.
|
private ConsistencyWitnessProvider<PlBeliefSet,PropositionalFormula> |
ContensionInconsistencyMeasurementProcess.witnessProvider
The witness provider used.
|
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 |
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.
|