enum OperationsResearch::Sat::SatParameters::ConflictMinimizationAlgorithm

Defined in:

ortools-sat/connector/sat_parameters.pb.cr

Enum Members

NONE = 0

SIMPLE = 1

RECURSIVE = 2

EXPERIMENTAL = 3

Instance Method Summary

• #experimental?
• #none?
• #recursive?
• #simple?

Instance Method Detail