- a -

• ABNORMAL : operations_research

- b -

• BOOLEAN_VAR : operations_research

- c -

• CAN_PROPAGATE : operations_research::sat
• CANCELLED_BY_USER : operations_research
• CANNOT_PROPAGATE : operations_research::sat
• CONST_VAR : operations_research
• CST_SUB_VAR : operations_research

- d -

• DEFAULT_LOG : operations_research::sat
• DIMACS : operations_research::sat
• DOMAIN_INT_VAR : operations_research
• DRAT : operations_research::sat

- f -

• FEASIBLE : operations_research

- g -

• GLOG_ERROR : google
• GLOG_FATAL : google
• GLOG_INFO : google
• GLOG_WARNING : google

- i -

• INCOMPATIBLE_OPTIONS : operations_research
• INFEASIBLE : operations_research
• INVALID_SOLVER_PARAMETERS : operations_research
• IS_ENFORCED : operations_research::sat
• IS_FALSE : operations_research::sat

- k -

• kDual : operations_research::math_opt
• kPrimal : operations_research::math_opt

- m -

• MODEL_INVALID : operations_research
• MODEL_IS_VALID : operations_research

- n -

• NOT_SOLVED : operations_research

- o -

• OPP_VAR : operations_research
• OPTIMAL : operations_research

- p -

• PRINT_GRAPH_ADJACENCY_LISTS : util
• PRINT_GRAPH_ADJACENCY_LISTS_SORTED : util
• PRINT_GRAPH_ARCS : util

- s -

• SOLVER_TYPE_UNAVAILABLE : operations_research
• STDOUT_LOG : operations_research::sat

- t -

• TRACE_VAR : operations_research

- u -

• UNBOUNDED : operations_research
• UNKNOWN_STATUS : operations_research
• UNSPECIFIED : operations_research

- v -

• VAR_ADD_CST : operations_research
• VAR_TIMES_CST : operations_research