Package | Description |
---|---|
net.sf.tweety.logics.pl.sat | |
net.sf.tweety.web.services |
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).
|
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.
|