Package | Description |
---|---|
org.sat4j.minisat.core | |
org.sat4j.pb.core | |
org.sat4j.pb.tools | |
org.sat4j.specs | |
org.sat4j.tools |
Modifier and Type | Method and Description |
---|---|
void |
Solver.setUnitClauseProvider(UnitClauseProvider ucp) |
Modifier and Type | Method and Description |
---|---|
void |
ObjectiveReducerPBSolverDecorator.setUnitClauseProvider(UnitClauseProvider ucp) |
Modifier and Type | Class and Description |
---|---|
class |
ManyCorePB |
Modifier and Type | Field and Description |
---|---|
static UnitClauseProvider |
UnitClauseProvider.VOID |
Modifier and Type | Method and Description |
---|---|
void |
ISolver.setUnitClauseProvider(UnitClauseProvider ucp)
Allow the solver to ask for unit clauses before each restarts.
|
Modifier and Type | Class and Description |
---|---|
class |
ManyCore<S extends ISolver>
A class allowing to run several solvers in parallel.
|
Modifier and Type | Method and Description |
---|---|
void |
AbstractOutputSolver.setUnitClauseProvider(UnitClauseProvider upl) |
void |
ManyCore.setUnitClauseProvider(UnitClauseProvider ucp) |
void |
SolverDecorator.setUnitClauseProvider(UnitClauseProvider ucp) |
void |
StatisticsSolver.setUnitClauseProvider(UnitClauseProvider ucp) |