• descriptor_table_ortools_2fsat_2fboolean_5fproblem_2eproto : boolean_problem.pb.h
• descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto : cp_model.pb.h
• descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto : sat_parameters.pb.h