Package | Description |
---|---|
org.sat4j.minisat.core |
Implementation of the MiniSAT solver skeleton.
|
org.sat4j.minisat.restarts |
Various restart strategies.
|
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.
|
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.