|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| ArminRestarts | Rapid restart strategy presented by Armin Biere during it's SAT 07 invited talk. |
| LubyRestarts | Luby series |
| MiniSATRestarts | Minisat original restart strategy. |
| NoRestarts | Disable restarts in the solver. |
Various restart strategies.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||