Package | Description |
---|---|
org.sat4j.minisat.core |
Implementation of the MiniSAT solver skeleton.
|
org.sat4j.minisat.restarts |
Various restart strategies.
|
org.sat4j.pb.core |
Implementations of pseudo boolean solvers
|
org.sat4j.sat |
Implementation of a sat4j Launcher.
|
Modifier and Type | Method and Description |
---|---|
SolverStats |
ICDCL.getStats() |
SolverStats |
Solver.getStats() |
Modifier and Type | Method and Description |
---|---|
void |
RestartStrategy.init(SearchParams params,
SolverStats stats)
Hook method called just before the search starts.
|
protected void |
Solver.initStats(SolverStats myStats) |
Modifier and Type | Method and Description |
---|---|
void |
FixedPeriodRestarts.init(SearchParams params,
SolverStats stats) |
void |
ArminRestarts.init(SearchParams theParams,
SolverStats stats) |
void |
Glucose21Restarts.init(SearchParams params,
SolverStats stats) |
void |
NoRestarts.init(SearchParams params,
SolverStats stats) |
void |
LubyRestarts.init(SearchParams params,
SolverStats stats) |
void |
MiniSATRestarts.init(SearchParams theParams,
SolverStats stats) |
Modifier and Type | Class and Description |
---|---|
class |
PBSolverStats |
Modifier and Type | Method and Description |
---|---|
SolverStats |
RemoteControlStrategy.getSolverStats() |
SolverStats |
DetailedCommandPanel.getSolverStats() |
SolverStats |
SolverController.getSolverStats() |
Modifier and Type | Method and Description |
---|---|
void |
RemoteControlStrategy.init(SearchParams params,
SolverStats stats) |
void |
DetailedCommandPanel.init(SearchParams params,
SolverStats stats) |
void |
SolverController.init(SearchParams params,
SolverStats stats) |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.