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 |
---|---|
RestartStrategy |
ICDCL.getRestartStrategy() |
RestartStrategy |
Solver.getRestartStrategy() |
Modifier and Type | Method and Description |
---|---|
void |
ICDCL.setRestartStrategy(RestartStrategy restarter) |
void |
Solver.setRestartStrategy(RestartStrategy restarter) |
Constructor and Description |
---|
Solver(LearningStrategy<D> learner,
D dsf,
IOrder order,
RestartStrategy restarter)
creates a Solver without LearningListener.
|
Solver(LearningStrategy<D> learner,
D dsf,
SearchParams params,
IOrder order,
RestartStrategy restarter) |
Solver(LearningStrategy<D> learner,
D dsf,
SearchParams params,
IOrder order,
RestartStrategy restarter,
ILogAble logger) |
Modifier and Type | Class and Description |
---|---|
class |
ArminRestarts
Rapid restart strategy presented by Armin Biere during it's SAT 07 invited
talk.
|
class |
FixedPeriodRestarts |
class |
Glucose21Restarts
Dynamic restart strategy of Glucose 2.1 as presented in Refining restarts
strategies for SAT and UNSAT formulae.
|
class |
LubyRestarts
Luby series
|
class |
MiniSATRestarts
Minisat original restart strategy.
|
class |
NoRestarts
Disable restarts in the solver.
|
Constructor and Description |
---|
PBSolver(LearningStrategy<PBDataStructureFactory> learner,
PBDataStructureFactory dsf,
IOrder order,
RestartStrategy restarter) |
PBSolver(LearningStrategy<PBDataStructureFactory> learner,
PBDataStructureFactory dsf,
SearchParams params,
IOrder order,
RestartStrategy restarter) |
PBSolverCP(LearningStrategy<PBDataStructureFactory> learner,
PBDataStructureFactory dsf,
SearchParams params,
IOrder order,
RestartStrategy restarter) |
PBSolverResCP(LearningStrategy<PBDataStructureFactory> learner,
PBDataStructureFactory dsf,
SearchParams params,
IOrder order,
RestartStrategy restarter) |
PBSolverResolution(LearningStrategy<PBDataStructureFactory> learner,
PBDataStructureFactory dsf,
IOrder order,
RestartStrategy restarter) |
PBSolverResolution(LearningStrategy<PBDataStructureFactory> learner,
PBDataStructureFactory dsf,
SearchParams params,
IOrder order,
RestartStrategy restarter) |
Modifier and Type | Class and Description |
---|---|
class |
RemoteControlStrategy
Strategy used by the solver when launched with the remote control.
|
Modifier and Type | Method and Description |
---|---|
RestartStrategy |
RemoteControlStrategy.getRestartStrategy() |
RestartStrategy |
DetailedCommandPanel.getRestartStrategy() |
RestartStrategy |
SolverController.getRestartStrategy() |
Modifier and Type | Method and Description |
---|---|
void |
RemoteControlStrategy.setRestartStrategy(RestartStrategy restart) |
void |
DetailedCommandPanel.setRestartStrategy(RestartStrategy strategy) |
void |
SolverController.setRestartStrategy(RestartStrategy strategy) |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.