Searched refs:satRestartLubyFactor (Results 1 – 2 of 2) sorted by relevance
95 _restartStrategy = new LubyRestartStrategy(opt.satRestartLubyFactor()); in TWLSolver()
2182 int satRestartLubyFactor() const { return _satRestartLubyFactor.actualValue; } in satRestartLubyFactor() function in Shell::Options