C++ Reference
C++ Reference: CP-SAT
- CpSolverStatus_INT_MAX_SENTINEL_DO_NOT_USE_ : operations_research::sat
- CpSolverStatus_INT_MIN_SENTINEL_DO_NOT_USE_ : operations_research::sat
- DecisionStrategyProto_DomainReductionStrategy_DecisionStrategyProto_DomainReductionStrategy_INT_MAX_SENTINEL_DO_NOT_USE_ : operations_research::sat
- DecisionStrategyProto_DomainReductionStrategy_DecisionStrategyProto_DomainReductionStrategy_INT_MIN_SENTINEL_DO_NOT_USE_ : operations_research::sat
- DecisionStrategyProto_DomainReductionStrategy_SELECT_LOWER_HALF : operations_research::sat
- DecisionStrategyProto_DomainReductionStrategy_SELECT_MAX_VALUE : operations_research::sat
- DecisionStrategyProto_DomainReductionStrategy_SELECT_MEDIAN_VALUE : operations_research::sat
- DecisionStrategyProto_DomainReductionStrategy_SELECT_MIN_VALUE : operations_research::sat
- DecisionStrategyProto_DomainReductionStrategy_SELECT_UPPER_HALF : operations_research::sat
- DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_FIRST : operations_research::sat
- DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_HIGHEST_MAX : operations_research::sat
- DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_LOWEST_MIN : operations_research::sat
- DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_MAX_DOMAIN_SIZE : operations_research::sat
- DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_MIN_DOMAIN_SIZE : operations_research::sat
- DecisionStrategyProto_VariableSelectionStrategy_DecisionStrategyProto_VariableSelectionStrategy_INT_MAX_SENTINEL_DO_NOT_USE_ : operations_research::sat
- DecisionStrategyProto_VariableSelectionStrategy_DecisionStrategyProto_VariableSelectionStrategy_INT_MIN_SENTINEL_DO_NOT_USE_ : operations_research::sat
- FEASIBLE : operations_research::sat
- INFEASIBLE : operations_research::sat
- MODEL_INVALID : operations_research::sat
- OPTIMAL : operations_research::sat
- UNKNOWN : operations_research::sat