| Class | Description |
|---|---|
| ArminRestarts |
Rapid restart strategy presented by Armin Biere during it's SAT 07 invited
talk.
|
| FixedPeriodRestarts | |
| Glucose21Restarts |
Dynamic restart strategy of Glucose 2.1 as presented in Refining restarts
strategies for SAT and UNSAT formulae.
|
| LubyRestarts |
Luby series
|
| MiniSATRestarts |
Minisat original restart strategy.
|
| NoRestarts |
Disable restarts in the solver.
|
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.