4package com.google.ortools.sat;
9 com.google.protobuf.ExtensionRegistryLite registry) {
13 com.google.protobuf.ExtensionRegistry registry) {
15 (com.google.protobuf.ExtensionRegistryLite) registry);
17 static final com.google.protobuf.Descriptors.Descriptor
18 internal_static_operations_research_sat_SatParameters_descriptor;
20 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable
21 internal_static_operations_research_sat_SatParameters_fieldAccessorTable;
23 public static com.google.protobuf.Descriptors.FileDescriptor
27 private static com.google.protobuf.Descriptors.FileDescriptor
30 java.lang.String[] descriptorData = {
31 "\n ortools/sat/sat_parameters.proto\022\027oper" +
32 "ations_research.sat\"\353E\n\rSatParameters\022\017\n" +
33 "\004name\030\253\001 \001(\t:\000\022`\n\030preferred_variable_ord" +
34 "er\030\001 \001(\01624.operations_research.sat.SatPa" +
35 "rameters.VariableOrder:\010IN_ORDER\022Y\n\020init" +
36 "ial_polarity\030\002 \001(\0162/.operations_research" +
37 ".sat.SatParameters.Polarity:\016POLARITY_FA" +
38 "LSE\022\036\n\020use_phase_saving\030, \001(\010:\004true\022)\n\032p" +
39 "olarity_rephase_increment\030\250\001 \001(\005:\0041000\022 " +
40 "\n\025random_polarity_ratio\030- \001(\001:\0010\022 \n\025rand" +
41 "om_branches_ratio\030 \001(\001:\0010\022!\n\022use_erwa_h" +
42 "euristic\030K \001(\010:\005false\022%\n\032initial_variabl" +
43 "es_activity\030L \001(\001:\0010\0226\n\'also_bump_variab" +
44 "les_in_conflict_reasons\030M \001(\010:\005false\022o\n\026" +
45 "minimization_algorithm\030\004 \001(\0162D.operation" +
46 "s_research.sat.SatParameters.ConflictMin" +
47 "imizationAlgorithm:\tRECURSIVE\022\202\001\n\035binary" +
48 "_minimization_algorithm\030\" \001(\0162@.operatio" +
49 "ns_research.sat.SatParameters.BinaryMini" +
50 "zationAlgorithm:\031BINARY_MINIMIZATION_FIR" +
51 "ST\0222\n$subsumption_during_conflict_analys" +
52 "is\0308 \001(\010:\004true\022$\n\025clause_cleanup_period\030" +
53 "\013 \001(\005:\00510000\022 \n\025clause_cleanup_target\030\r " +
54 "\001(\005:\0010\022\"\n\024clause_cleanup_ratio\030\276\001 \001(\001:\0030" +
55 ".5\022k\n\031clause_cleanup_protection\030: \001(\01627." +
56 "operations_research.sat.SatParameters.Cl" +
57 "auseProtection:\017PROTECTION_NONE\022#\n\030claus" +
58 "e_cleanup_lbd_bound\030; \001(\005:\0015\022g\n\027clause_c" +
59 "leanup_ordering\030< \001(\01625.operations_resea" +
60 "rch.sat.SatParameters.ClauseOrdering:\017CL" +
61 "AUSE_ACTIVITY\022!\n\024pb_cleanup_increment\030. " +
62 "\001(\005:\003200\022\035\n\020pb_cleanup_ratio\030/ \001(\001:\0030.5\022" +
63 "4\n(minimize_with_propagation_restart_per" +
64 "iod\030` \001(\005:\00210\0225\n\'minimize_with_propagati" +
65 "on_num_decisions\030a \001(\005:\0041000\022$\n\027variable" +
66 "_activity_decay\030\017 \001(\001:\0030.8\022+\n\033max_variab" +
67 "le_activity_value\030\020 \001(\001:\0061e+100\022\037\n\021gluco" +
68 "se_max_decay\030\026 \001(\001:\0040.95\022%\n\027glucose_deca" +
69 "y_increment\030\027 \001(\001:\0040.01\022,\n\036glucose_decay" +
70 "_increment_period\030\030 \001(\005:\0045000\022$\n\025clause_" +
71 "activity_decay\030\021 \001(\001:\0050.999\022(\n\031max_claus" +
72 "e_activity_value\030\022 \001(\001:\0051e+20\022S\n\022restart" +
73 "_algorithms\030= \003(\01627.operations_research." +
74 "sat.SatParameters.RestartAlgorithm\022e\n\032de" +
75 "fault_restart_algorithms\030F \001(\t:ALUBY_RES" +
76 "TART,LBD_MOVING_AVERAGE_RESTART,DL_MOVIN" +
77 "G_AVERAGE_RESTART\022\032\n\016restart_period\030\036 \001(" +
78 "\005:\00250\022\'\n\033restart_running_window_size\030> \001" +
79 "(\005:\00250\022#\n\030restart_dl_average_ratio\030? \001(\001" +
80 ":\0011\022$\n\031restart_lbd_average_ratio\030G \001(\001:\001" +
81 "1\022#\n\024use_blocking_restart\030@ \001(\010:\005false\022*" +
82 "\n\034blocking_restart_window_size\030A \001(\005:\00450" +
83 "00\022(\n\033blocking_restart_multiplier\030B \001(\001:" +
84 "\0031.4\0220\n%num_conflicts_before_strategy_ch" +
85 "anges\030D \001(\005:\0010\022)\n\036strategy_change_increa" +
86 "se_ratio\030E \001(\001:\0010\022 \n\023max_time_in_seconds" +
87 "\030$ \001(\001:\003inf\022#\n\026max_deterministic_time\030C " +
88 "\001(\001:\003inf\0224\n\027max_number_of_conflicts\030% \001(" +
89 "\003:\0239223372036854775807\022\037\n\020max_memory_in_" +
90 "mb\030( \001(\003:\00510000\022#\n\022absolute_gap_limit\030\237\001" +
91 " \001(\001:\0060.0001\022\036\n\022relative_gap_limit\030\240\001 \001(" +
92 "\001:\0010\022-\n\037treat_binary_clauses_separately\030" +
93 "! \001(\010:\004true\022\026\n\013random_seed\030\037 \001(\005:\0011\022)\n\031p" +
94 "ermute_variable_randomly\030\262\001 \001(\010:\005false\0221" +
95 "\n!permute_presolve_constraint_order\030\263\001 \001" +
96 "(\010:\005false\022\037\n\017use_absl_random\030\264\001 \001(\010:\005fal" +
97 "se\022\"\n\023log_search_progress\030) \001(\010:\005false\022\'" +
98 "\n\030log_subsolver_statistics\030\275\001 \001(\010:\004true\022" +
99 "\025\n\nlog_prefix\030\271\001 \001(\t:\000\022\034\n\rlog_to_stdout\030" +
100 "\272\001 \001(\010:\004true\022\037\n\017log_to_response\030\273\001 \001(\010:\005" +
101 "false\022 \n\021use_pb_resolution\030+ \001(\010:\005false\022" +
102 "6\n\'minimize_reduction_during_pb_resoluti" +
103 "on\0300 \001(\010:\005false\022,\n\036count_assumption_leve" +
104 "ls_in_lbd\0301 \001(\010:\004true\022#\n\026presolve_bve_th" +
105 "reshold\0306 \001(\005:\003500\022%\n\032presolve_bve_claus" +
106 "e_weight\0307 \001(\005:\0013\0225\n)presolve_probing_de" +
107 "terministic_time_limit\0309 \001(\001:\00230\022%\n\027pres" +
108 "olve_blocked_clause\030X \001(\010:\004true\022\036\n\020preso" +
109 "lve_use_bva\030H \001(\010:\004true\022!\n\026presolve_bva_" +
110 "threshold\030I \001(\005:\0011\022#\n\027max_presolve_itera" +
111 "tions\030\212\001 \001(\005:\0013\022\037\n\021cp_model_presolve\030V \001" +
112 "(\010:\004true\022!\n\026cp_model_probing_level\030n \001(\005" +
113 ":\0012\022\'\n\031cp_model_use_sat_presolve\030] \001(\010:\004" +
114 "true\022$\n\024use_sat_inprocessing\030\243\001 \001(\010:\005fal" +
115 "se\022*\n\032expand_alldiff_constraints\030\252\001 \001(\010:" +
116 "\005false\022,\n\034disable_constraint_expansion\030\265" +
117 "\001 \001(\010:\005false\0223\n\033merge_no_overlap_work_li" +
118 "mit\030\221\001 \001(\001:\r1000000000000\0220\n\034merge_at_mo" +
119 "st_one_work_limit\030\222\001 \001(\001:\t100000000\022\'\n\033p" +
120 "resolve_substitution_level\030\223\001 \001(\005:\0011\0224\n$" +
121 "presolve_extract_integer_enforcement\030\256\001 " +
122 "\001(\010:\005false\0220\n debug_postsolve_with_full_" +
123 "solver\030\242\001 \001(\010:\005false\022-\n!debug_max_num_pr" +
124 "esolve_operations\030\227\001 \001(\005:\0010\022\'\n\027debug_cra" +
125 "sh_on_bad_hint\030\303\001 \001(\010:\005false\022$\n\026use_opti" +
126 "mization_hints\030# \001(\010:\004true\022\033\n\rminimize_c" +
127 "ore\0302 \001(\010:\004true\022!\n\023find_multiple_cores\030T" +
128 " \001(\010:\004true\022 \n\022cover_optimization\030Y \001(\010:\004" +
129 "true\022x\n\030max_sat_assumption_order\0303 \001(\0162<" +
130 ".operations_research.sat.SatParameters.M" +
131 "axSatAssumptionOrder:\030DEFAULT_ASSUMPTION" +
132 "_ORDER\022/\n max_sat_reverse_assumption_ord" +
133 "er\0304 \001(\010:\005false\022|\n\026max_sat_stratificatio" +
134 "n\0305 \001(\0162D.operations_research.sat.SatPar" +
135 "ameters.MaxSatStratificationAlgorithm:\026S" +
136 "TRATIFICATION_DESCENT\0227\n)use_precedences" +
137 "_in_disjunctive_constraint\030J \001(\010:\004true\022<" +
138 "\n-use_overload_checker_in_cumulative_con" +
139 "straint\030N \001(\010:\005false\022B\n3use_timetable_ed" +
140 "ge_finding_in_cumulative_constraint\030O \001(" +
141 "\010:\005false\022A\n3use_disjunctive_constraint_i" +
142 "n_cumulative_constraint\030P \001(\010:\004true\022/\n\037u" +
143 "se_cumulative_in_no_overlap_2d\030\310\001 \001(\010:\005f" +
144 "alse\022\036\n\023linearization_level\030Z \001(\005:\0011\022!\n\026" +
145 "boolean_encoding_level\030k \001(\005:\0011\022=\n0max_d" +
146 "omain_size_when_encoding_eq_neq_constrai" +
147 "nts\030\277\001 \001(\005:\00216\022\033\n\014max_num_cuts\030[ \001(\005:\00510" +
148 "000\022\025\n\tcut_level\030\304\001 \001(\005:\0011\022*\n\033only_add_c" +
149 "uts_at_level_zero\030\\ \001(\010:\005false\022!\n\021add_ob" +
150 "jective_cut\030\305\001 \001(\010:\005false\022\031\n\013add_cg_cuts" +
151 "\030u \001(\010:\004true\022\032\n\014add_mir_cuts\030x \001(\010:\004true" +
152 "\022!\n\022add_zero_half_cuts\030\251\001 \001(\010:\004true\022\036\n\017a" +
153 "dd_clique_cuts\030\254\001 \001(\010:\004true\022!\n\025max_all_d" +
154 "iff_cut_size\030\224\001 \001(\005:\0017\022\037\n\020add_lin_max_cu" +
155 "ts\030\230\001 \001(\010:\004true\022)\n\034max_integer_rounding_" +
156 "scaling\030w \001(\005:\003600\022\'\n\031add_lp_constraints" +
157 "_lazily\030p \001(\010:\004true\0222\n$min_orthogonality" +
158 "_for_lp_constraints\030s \001(\001:\0040.05\022(\n\034max_c" +
159 "ut_rounds_at_level_zero\030\232\001 \001(\005:\0011\022+\n\036max" +
160 "_consecutive_inactive_count\030y \001(\005:\003100\0220" +
161 "\n\032cut_max_active_count_value\030\233\001 \001(\001:\013100" +
162 "00000000\022$\n\026cut_active_count_decay\030\234\001 \001(" +
163 "\001:\0030.8\022!\n\022cut_cleanup_target\030\235\001 \001(\005:\004100" +
164 "0\022&\n\032new_constraints_batch_size\030z \001(\005:\0025" +
165 "0\022b\n\020search_branching\030R \001(\01626.operations" +
166 "_research.sat.SatParameters.SearchBranch" +
167 "ing:\020AUTOMATIC_SEARCH\022 \n\023hint_conflict_l" +
168 "imit\030\231\001 \001(\005:\00210\022\033\n\013repair_hint\030\247\001 \001(\010:\005f" +
169 "alse\0223\n#fix_variables_to_their_hinted_va" +
170 "lue\030\300\001 \001(\010:\005false\022)\n\033exploit_integer_lp_" +
171 "solution\030^ \001(\010:\004true\022%\n\027exploit_all_lp_s" +
172 "olution\030t \001(\010:\004true\022%\n\025exploit_best_solu" +
173 "tion\030\202\001 \001(\010:\005false\022+\n\033exploit_relaxation" +
174 "_solution\030\241\001 \001(\010:\005false\022 \n\021exploit_objec" +
175 "tive\030\203\001 \001(\010:\004true\022\"\n\026probing_period_at_r" +
176 "oot\030\216\001 \001(\003:\0010\022\"\n\022use_probing_search\030\260\001 \001" +
177 "(\010:\005false\022.\n!pseudo_cost_reliability_thr" +
178 "eshold\030{ \001(\003:\003100\022!\n\022optimize_with_core\030" +
179 "S \001(\010:\005false\022,\n\034optimize_with_lb_tree_se" +
180 "arch\030\274\001 \001(\010:\005false\022\'\n\033binary_search_num_" +
181 "conflicts\030c \001(\005:\002-1\022#\n\024optimize_with_max" +
182 "_hs\030U \001(\010:\005false\022&\n\027enumerate_all_soluti" +
183 "ons\030W \001(\010:\005false\0227\n\'keep_all_feasible_so" +
184 "lutions_in_presolve\030\255\001 \001(\010:\005false\0222\n\"fil" +
185 "l_tightened_domains_in_response\030\204\001 \001(\010:\005" +
186 "false\0225\n%fill_additional_solutions_in_re" +
187 "sponse\030\302\001 \001(\010:\005false\022\'\n\031instantiate_all_" +
188 "variables\030j \001(\010:\004true\0226\n(auto_detect_gre" +
189 "ater_than_at_least_one_of\030_ \001(\010:\004true\022(\n" +
190 "\031stop_after_first_solution\030b \001(\010:\005false\022" +
191 "#\n\023stop_after_presolve\030\225\001 \001(\010:\005false\022\035\n\022" +
192 "num_search_workers\030d \001(\005:\0010\022!\n\021interleav" +
193 "e_search\030\210\001 \001(\010:\005false\022!\n\025interleave_bat" +
194 "ch_size\030\206\001 \001(\005:\0011\0226\n&reduce_memory_usage" +
195 "_in_interleave_mode\030\215\001 \001(\010:\005false\022$\n\026sha" +
196 "re_objective_bounds\030q \001(\010:\004true\022%\n\027share" +
197 "_level_zero_bounds\030r \001(\010:\004true\022\033\n\014use_ln" +
198 "s_only\030e \001(\010:\005false\022\036\n\022solution_pool_siz" +
199 "e\030\301\001 \001(\005:\0013\022\033\n\014use_rins_lns\030\201\001 \001(\010:\004true" +
200 "\022#\n\024use_feasibility_pump\030\244\001 \001(\010:\004true\022c\n" +
201 "\013fp_rounding\030\245\001 \001(\01627.operations_researc" +
202 "h.sat.SatParameters.FPRoundingMethod:\024PR" +
203 "OPAGATION_ASSISTED\022\"\n\022use_relaxation_lns" +
204 "\030\226\001 \001(\010:\005false\022$\n\024diversify_lns_params\030\211" +
205 "\001 \001(\010:\005false\022\037\n\020randomize_search\030g \001(\010:\005" +
206 "false\022)\n\036search_randomization_tolerance\030" +
207 "h \001(\003:\0010\022$\n\026use_optional_variables\030l \001(\010" +
208 ":\004true\022!\n\023use_exact_lp_reason\030m \001(\010:\004tru" +
209 "e\022#\n\023use_branching_in_lp\030\213\001 \001(\010:\005false\022\'" +
210 "\n\027use_combined_no_overlap\030\205\001 \001(\010:\005false\022" +
211 "\"\n\023catch_sigint_signal\030\207\001 \001(\010:\004true\022!\n\022u" +
212 "se_implied_bounds\030\220\001 \001(\010:\004true\022\"\n\022polish" +
213 "_lp_solution\030\257\001 \001(\010:\005false\022 \n\021convert_in" +
214 "tervals\030\261\001 \001(\010:\004true\022\032\n\016symmetry_level\030\267" +
215 "\001 \001(\005:\0012\022\037\n\rmip_max_bound\030| \001(\001:\0101000000" +
216 "0\022\032\n\017mip_var_scaling\030} \001(\001:\0011\0220\n!mip_aut" +
217 "omatically_scale_variables\030\246\001 \001(\010:\004true\022" +
218 "#\n\024mip_wanted_precision\030~ \001(\001:\0051e-06\022%\n\031" +
219 "mip_max_activity_exponent\030\177 \001(\005:\00253\022$\n\023m" +
220 "ip_check_precision\030\200\001 \001(\001:\0060.0001\022/\n mip" +
221 "_compute_true_objective_bound\030\306\001 \001(\010:\004tr" +
222 "ue\022\'\n\027mip_max_valid_magnitude\030\307\001 \001(\001:\0051e" +
223 "+30\"H\n\rVariableOrder\022\014\n\010IN_ORDER\020\000\022\024\n\020IN" +
224 "_REVERSE_ORDER\020\001\022\023\n\017IN_RANDOM_ORDER\020\002\"\206\001" +
225 "\n\010Polarity\022\021\n\rPOLARITY_TRUE\020\000\022\022\n\016POLARIT" +
226 "Y_FALSE\020\001\022\023\n\017POLARITY_RANDOM\020\002\022\032\n\026POLARI" +
227 "TY_WEIGHTED_SIGN\020\003\022\"\n\036POLARITY_REVERSE_W" +
228 "EIGHTED_SIGN\020\004\"V\n\035ConflictMinimizationAl" +
229 "gorithm\022\010\n\004NONE\020\000\022\n\n\006SIMPLE\020\001\022\r\n\tRECURSI" +
230 "VE\020\002\022\020\n\014EXPERIMENTAL\020\003\"\340\001\n\031BinaryMinizat" +
231 "ionAlgorithm\022\032\n\026NO_BINARY_MINIMIZATION\020\000" +
232 "\022\035\n\031BINARY_MINIMIZATION_FIRST\020\001\0227\n3BINAR" +
233 "Y_MINIMIZATION_FIRST_WITH_TRANSITIVE_RED" +
234 "UCTION\020\004\022)\n%BINARY_MINIMIZATION_WITH_REA" +
235 "CHABILITY\020\002\022$\n EXPERIMENTAL_BINARY_MINIM" +
236 "IZATION\020\003\"R\n\020ClauseProtection\022\023\n\017PROTECT" +
237 "ION_NONE\020\000\022\025\n\021PROTECTION_ALWAYS\020\001\022\022\n\016PRO" +
238 "TECTION_LBD\020\002\"5\n\016ClauseOrdering\022\023\n\017CLAUS" +
239 "E_ACTIVITY\020\000\022\016\n\nCLAUSE_LBD\020\001\"\206\001\n\020Restart" +
240 "Algorithm\022\016\n\nNO_RESTART\020\000\022\020\n\014LUBY_RESTAR" +
241 "T\020\001\022\035\n\031DL_MOVING_AVERAGE_RESTART\020\002\022\036\n\032LB" +
242 "D_MOVING_AVERAGE_RESTART\020\003\022\021\n\rFIXED_REST" +
243 "ART\020\004\"t\n\025MaxSatAssumptionOrder\022\034\n\030DEFAUL" +
244 "T_ASSUMPTION_ORDER\020\000\022\035\n\031ORDER_ASSUMPTION" +
245 "_BY_DEPTH\020\001\022\036\n\032ORDER_ASSUMPTION_BY_WEIGH" +
246 "T\020\002\"o\n\035MaxSatStratificationAlgorithm\022\027\n\023" +
247 "STRATIFICATION_NONE\020\000\022\032\n\026STRATIFICATION_" +
248 "DESCENT\020\001\022\031\n\025STRATIFICATION_ASCENT\020\002\"\260\001\n" +
249 "\017SearchBranching\022\024\n\020AUTOMATIC_SEARCH\020\000\022\020" +
250 "\n\014FIXED_SEARCH\020\001\022\024\n\020PORTFOLIO_SEARCH\020\002\022\r" +
251 "\n\tLP_SEARCH\020\003\022\026\n\022PSEUDO_COST_SEARCH\020\004\022\'\n" +
252 "#PORTFOLIO_WITH_QUICK_RESTART_SEARCH\020\005\022\017" +
253 "\n\013HINT_SEARCH\020\006\"h\n\020FPRoundingMethod\022\023\n\017N" +
254 "EAREST_INTEGER\020\000\022\016\n\nLOCK_BASED\020\001\022\025\n\021ACTI" +
255 "VE_LOCK_BASED\020\003\022\030\n\024PROPAGATION_ASSISTED\020" +
256 "\002B/\n\026com.google.ortools.satP\001\252\002\022Google.O" +
259 descriptor = com.google.protobuf.Descriptors.FileDescriptor
260 .internalBuildGeneratedFileFrom(descriptorData,
261 new com.google.protobuf.Descriptors.FileDescriptor[] {
263 internal_static_operations_research_sat_SatParameters_descriptor =
265 internal_static_operations_research_sat_SatParameters_fieldAccessorTable =
new
266 com.google.protobuf.GeneratedMessageV3.FieldAccessorTable(
267 internal_static_operations_research_sat_SatParameters_descriptor,
268 new java.lang.String[] {
"Name",
"PreferredVariableOrder",
"InitialPolarity",
"UsePhaseSaving",
"PolarityRephaseIncrement",
"RandomPolarityRatio",
"RandomBranchesRatio",
"UseErwaHeuristic",
"InitialVariablesActivity",
"AlsoBumpVariablesInConflictReasons",
"MinimizationAlgorithm",
"BinaryMinimizationAlgorithm",
"SubsumptionDuringConflictAnalysis",
"ClauseCleanupPeriod",
"ClauseCleanupTarget",
"ClauseCleanupRatio",
"ClauseCleanupProtection",
"ClauseCleanupLbdBound",
"ClauseCleanupOrdering",
"PbCleanupIncrement",
"PbCleanupRatio",
"MinimizeWithPropagationRestartPeriod",
"MinimizeWithPropagationNumDecisions",
"VariableActivityDecay",
"MaxVariableActivityValue",
"GlucoseMaxDecay",
"GlucoseDecayIncrement",
"GlucoseDecayIncrementPeriod",
"ClauseActivityDecay",
"MaxClauseActivityValue",
"RestartAlgorithms",
"DefaultRestartAlgorithms",
"RestartPeriod",
"RestartRunningWindowSize",
"RestartDlAverageRatio",
"RestartLbdAverageRatio",
"UseBlockingRestart",
"BlockingRestartWindowSize",
"BlockingRestartMultiplier",
"NumConflictsBeforeStrategyChanges",
"StrategyChangeIncreaseRatio",
"MaxTimeInSeconds",
"MaxDeterministicTime",
"MaxNumberOfConflicts",
"MaxMemoryInMb",
"AbsoluteGapLimit",
"RelativeGapLimit",
"TreatBinaryClausesSeparately",
"RandomSeed",
"PermuteVariableRandomly",
"PermutePresolveConstraintOrder",
"UseAbslRandom",
"LogSearchProgress",
"LogSubsolverStatistics",
"LogPrefix",
"LogToStdout",
"LogToResponse",
"UsePbResolution",
"MinimizeReductionDuringPbResolution",
"CountAssumptionLevelsInLbd",
"PresolveBveThreshold",
"PresolveBveClauseWeight",
"PresolveProbingDeterministicTimeLimit",
"PresolveBlockedClause",
"PresolveUseBva",
"PresolveBvaThreshold",
"MaxPresolveIterations",
"CpModelPresolve",
"CpModelProbingLevel",
"CpModelUseSatPresolve",
"UseSatInprocessing",
"ExpandAlldiffConstraints",
"DisableConstraintExpansion",
"MergeNoOverlapWorkLimit",
"MergeAtMostOneWorkLimit",
"PresolveSubstitutionLevel",
"PresolveExtractIntegerEnforcement",
"DebugPostsolveWithFullSolver",
"DebugMaxNumPresolveOperations",
"DebugCrashOnBadHint",
"UseOptimizationHints",
"MinimizeCore",
"FindMultipleCores",
"CoverOptimization",
"MaxSatAssumptionOrder",
"MaxSatReverseAssumptionOrder",
"MaxSatStratification",
"UsePrecedencesInDisjunctiveConstraint",
"UseOverloadCheckerInCumulativeConstraint",
"UseTimetableEdgeFindingInCumulativeConstraint",
"UseDisjunctiveConstraintInCumulativeConstraint",
"UseCumulativeInNoOverlap2D",
"LinearizationLevel",
"BooleanEncodingLevel",
"MaxDomainSizeWhenEncodingEqNeqConstraints",
"MaxNumCuts",
"CutLevel",
"OnlyAddCutsAtLevelZero",
"AddObjectiveCut",
"AddCgCuts",
"AddMirCuts",
"AddZeroHalfCuts",
"AddCliqueCuts",
"MaxAllDiffCutSize",
"AddLinMaxCuts",
"MaxIntegerRoundingScaling",
"AddLpConstraintsLazily",
"MinOrthogonalityForLpConstraints",
"MaxCutRoundsAtLevelZero",
"MaxConsecutiveInactiveCount",
"CutMaxActiveCountValue",
"CutActiveCountDecay",
"CutCleanupTarget",
"NewConstraintsBatchSize",
"SearchBranching",
"HintConflictLimit",
"RepairHint",
"FixVariablesToTheirHintedValue",
"ExploitIntegerLpSolution",
"ExploitAllLpSolution",
"ExploitBestSolution",
"ExploitRelaxationSolution",
"ExploitObjective",
"ProbingPeriodAtRoot",
"UseProbingSearch",
"PseudoCostReliabilityThreshold",
"OptimizeWithCore",
"OptimizeWithLbTreeSearch",
"BinarySearchNumConflicts",
"OptimizeWithMaxHs",
"EnumerateAllSolutions",
"KeepAllFeasibleSolutionsInPresolve",
"FillTightenedDomainsInResponse",
"FillAdditionalSolutionsInResponse",
"InstantiateAllVariables",
"AutoDetectGreaterThanAtLeastOneOf",
"StopAfterFirstSolution",
"StopAfterPresolve",
"NumSearchWorkers",
"InterleaveSearch",
"InterleaveBatchSize",
"ReduceMemoryUsageInInterleaveMode",
"ShareObjectiveBounds",
"ShareLevelZeroBounds",
"UseLnsOnly",
"SolutionPoolSize",
"UseRinsLns",
"UseFeasibilityPump",
"FpRounding",
"UseRelaxationLns",
"DiversifyLnsParams",
"RandomizeSearch",
"SearchRandomizationTolerance",
"UseOptionalVariables",
"UseExactLpReason",
"UseBranchingInLp",
"UseCombinedNoOverlap",
"CatchSigintSignal",
"UseImpliedBounds",
"PolishLpSolution",
"ConvertIntervals",
"SymmetryLevel",
"MipMaxBound",
"MipVarScaling",
"MipAutomaticallyScaleVariables",
"MipWantedPrecision",
"MipMaxActivityExponent",
"MipCheckPrecision",
"MipComputeTrueObjectiveBound",
"MipMaxValidMagnitude", });