Package org.sat4j.minisat.restarts

Various restart strategies.

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.
 

Package org.sat4j.minisat.restarts Description

Various restart strategies.



Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.