Package org.sat4j.minisat.restarts

Various restart strategies.

See: Description

Class Summary

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.

Package org.sat4j.minisat.restarts Description

Various restart strategies.