enum ORTools::Sat::CpSolverStatus

Defined in:

ortools-sat/connector/cp_model.pb.cr

Enum Members

UNKNOWN = 0

MODELINVALID = 1

FEASIBLE = 2

INFEASIBLE = 3

OPTIMAL = 4

Instance Method Summary

• #feasible?
• #infeasible?
• #modelinvalid?
• #optimal?
• #unknown?

Instance Method Detail