enum OperationsResearch::Sat::SatParameters::RestartAlgorithm

Defined in:

ortools-sat/connector/sat_parameters.pb.cr

Enum Members

NORESTART = 0

LUBYRESTART = 1

DLMOVINGAVERAGERESTART = 2

LBDMOVINGAVERAGERESTART = 3

FIXEDRESTART = 4

Instance Method Summary

• #dlmovingaveragerestart?
• #fixedrestart?
• #lbdmovingaveragerestart?
• #lubyrestart?
• #norestart?

Instance Method Detail