Package | Description |
---|---|
org.sat4j.minisat.core |
Implementation of the MiniSAT solver skeleton.
|
org.sat4j.minisat.restarts |
Various restart strategies.
|
org.sat4j.sat |
Implementation of a sat4j Launcher.
|
Modifier and Type | Interface and Description |
---|---|
interface |
RestartStrategy
Abstraction allowing to choose various restarts strategies.
|
Modifier and Type | Class and Description |
---|---|
class |
ConflictTimerAdapter
Perform a task when a given number of conflicts is reached.
|
class |
ConflictTimerContainer
Agregator for conflict timers (composite design pattern).
|
Modifier and Type | Method and Description |
---|---|
ConflictTimer |
LearnedConstraintsDeletionStrategy.getTimer() |
Modifier and Type | Method and Description |
---|---|
void |
ICDCL.setLearnedConstraintsDeletionStrategy(ConflictTimer timer,
LearnedConstraintsEvaluationType evaluation) |
void |
Solver.setLearnedConstraintsDeletionStrategy(ConflictTimer timer,
LearnedConstraintsEvaluationType evaluation) |
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.
|
Modifier and Type | Class and Description |
---|---|
class |
RemoteControlStrategy
Strategy used by the solver when launched with the remote control.
|
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.