Go to the documentation of this file.
4 package 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\"\316@\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:\00510000\022k\n\031clause_cleanup_protection\030" +
55 ": \001(\01627.operations_research.sat.SatParam" +
56 "eters.ClauseProtection:\017PROTECTION_NONE\022" +
57 "#\n\030clause_cleanup_lbd_bound\030; \001(\005:\0015\022g\n\027" +
58 "clause_cleanup_ordering\030< \001(\01625.operatio" +
59 "ns_research.sat.SatParameters.ClauseOrde" +
60 "ring:\017CLAUSE_ACTIVITY\022!\n\024pb_cleanup_incr" +
61 "ement\030. \001(\005:\003200\022\035\n\020pb_cleanup_ratio\030/ \001" +
62 "(\001:\0030.5\0224\n(minimize_with_propagation_res" +
63 "tart_period\030` \001(\005:\00210\0225\n\'minimize_with_p" +
64 "ropagation_num_decisions\030a \001(\005:\0041000\022$\n\027" +
65 "variable_activity_decay\030\017 \001(\001:\0030.8\022+\n\033ma" +
66 "x_variable_activity_value\030\020 \001(\001:\0061e+100\022" +
67 "\037\n\021glucose_max_decay\030\026 \001(\001:\0040.95\022%\n\027gluc" +
68 "ose_decay_increment\030\027 \001(\001:\0040.01\022,\n\036gluco" +
69 "se_decay_increment_period\030\030 \001(\005:\0045000\022$\n" +
70 "\025clause_activity_decay\030\021 \001(\001:\0050.999\022(\n\031m" +
71 "ax_clause_activity_value\030\022 \001(\001:\0051e+20\022S\n" +
72 "\022restart_algorithms\030= \003(\01627.operations_r" +
73 "esearch.sat.SatParameters.RestartAlgorit" +
74 "hm\022e\n\032default_restart_algorithms\030F \001(\t:A" +
75 "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART," +
76 "DL_MOVING_AVERAGE_RESTART\022\032\n\016restart_per" +
77 "iod\030\036 \001(\005:\00250\022\'\n\033restart_running_window_" +
78 "size\030> \001(\005:\00250\022#\n\030restart_dl_average_rat" +
79 "io\030? \001(\001:\0011\022$\n\031restart_lbd_average_ratio" +
80 "\030G \001(\001:\0011\022#\n\024use_blocking_restart\030@ \001(\010:" +
81 "\005false\022*\n\034blocking_restart_window_size\030A" +
82 " \001(\005:\0045000\022(\n\033blocking_restart_multiplie" +
83 "r\030B \001(\001:\0031.4\0220\n%num_conflicts_before_str" +
84 "ategy_changes\030D \001(\005:\0010\022)\n\036strategy_chang" +
85 "e_increase_ratio\030E \001(\001:\0010\022 \n\023max_time_in" +
86 "_seconds\030$ \001(\001:\003inf\022#\n\026max_deterministic" +
87 "_time\030C \001(\001:\003inf\0224\n\027max_number_of_confli" +
88 "cts\030% \001(\003:\0239223372036854775807\022\037\n\020max_me" +
89 "mory_in_mb\030( \001(\003:\00510000\022\036\n\022absolute_gap_" +
90 "limit\030\237\001 \001(\001:\0010\022\036\n\022relative_gap_limit\030\240\001" +
91 " \001(\001:\0010\022-\n\037treat_binary_clauses_separate" +
92 "ly\030! \001(\010:\004true\022\026\n\013random_seed\030\037 \001(\005:\0011\022\"" +
93 "\n\023log_search_progress\030) \001(\010:\005false\022 \n\021us" +
94 "e_pb_resolution\030+ \001(\010:\005false\0226\n\'minimize" +
95 "_reduction_during_pb_resolution\0300 \001(\010:\005f" +
96 "alse\022,\n\036count_assumption_levels_in_lbd\0301" +
97 " \001(\010:\004true\022#\n\026presolve_bve_threshold\0306 \001" +
98 "(\005:\003500\022%\n\032presolve_bve_clause_weight\0307 " +
99 "\001(\005:\0013\0225\n)presolve_probing_deterministic" +
100 "_time_limit\0309 \001(\001:\00230\022%\n\027presolve_blocke" +
101 "d_clause\030X \001(\010:\004true\022\036\n\020presolve_use_bva" +
102 "\030H \001(\010:\004true\022!\n\026presolve_bva_threshold\030I" +
103 " \001(\005:\0011\022#\n\027max_presolve_iterations\030\212\001 \001(" +
104 "\005:\0013\022\037\n\021cp_model_presolve\030V \001(\010:\004true\0223\n" +
105 "#cp_model_postsolve_with_full_solver\030\242\001 " +
106 "\001(\010:\005false\0220\n$cp_model_max_num_presolve_" +
107 "operations\030\227\001 \001(\005:\0010\022!\n\026cp_model_probing" +
108 "_level\030n \001(\005:\0012\022\'\n\031cp_model_use_sat_pres" +
109 "olve\030] \001(\010:\004true\022$\n\024use_sat_inprocessing" +
110 "\030\243\001 \001(\010:\005false\022)\n\032expand_element_constra" +
111 "ints\030\214\001 \001(\010:\004true\022+\n\034expand_automaton_co" +
112 "nstraints\030\217\001 \001(\010:\004true\022\'\n\030expand_table_c" +
113 "onstraints\030\236\001 \001(\010:\004true\022*\n\032expand_alldif" +
114 "f_constraints\030\252\001 \001(\010:\005false\0223\n\033merge_no_" +
115 "overlap_work_limit\030\221\001 \001(\001:\r1000000000000" +
116 "\0220\n\034merge_at_most_one_work_limit\030\222\001 \001(\001:" +
117 "\t100000000\022\'\n\033presolve_substitution_leve" +
118 "l\030\223\001 \001(\005:\0011\0224\n$presolve_extract_integer_" +
119 "enforcement\030\256\001 \001(\010:\005false\022$\n\026use_optimiz" +
120 "ation_hints\030# \001(\010:\004true\022\033\n\rminimize_core" +
121 "\0302 \001(\010:\004true\022!\n\023find_multiple_cores\030T \001(" +
122 "\010:\004true\022 \n\022cover_optimization\030Y \001(\010:\004tru" +
123 "e\022x\n\030max_sat_assumption_order\0303 \001(\0162<.op" +
124 "erations_research.sat.SatParameters.MaxS" +
125 "atAssumptionOrder:\030DEFAULT_ASSUMPTION_OR" +
126 "DER\022/\n max_sat_reverse_assumption_order\030" +
127 "4 \001(\010:\005false\022|\n\026max_sat_stratification\0305" +
128 " \001(\0162D.operations_research.sat.SatParame" +
129 "ters.MaxSatStratificationAlgorithm:\026STRA" +
130 "TIFICATION_DESCENT\0227\n)use_precedences_in" +
131 "_disjunctive_constraint\030J \001(\010:\004true\022<\n-u" +
132 "se_overload_checker_in_cumulative_constr" +
133 "aint\030N \001(\010:\005false\022B\n3use_timetable_edge_" +
134 "finding_in_cumulative_constraint\030O \001(\010:\005" +
135 "false\022A\n3use_disjunctive_constraint_in_c" +
136 "umulative_constraint\030P \001(\010:\004true\022\036\n\023line" +
137 "arization_level\030Z \001(\005:\0011\022!\n\026boolean_enco" +
138 "ding_level\030k \001(\005:\0011\022\033\n\014max_num_cuts\030[ \001(" +
139 "\005:\00510000\022*\n\033only_add_cuts_at_level_zero\030" +
140 "\\ \001(\010:\005false\022 \n\021add_knapsack_cuts\030o \001(\010:" +
141 "\005false\022\031\n\013add_cg_cuts\030u \001(\010:\004true\022\032\n\014add" +
142 "_mir_cuts\030x \001(\010:\004true\022!\n\022add_zero_half_c" +
143 "uts\030\251\001 \001(\010:\004true\022\036\n\017add_clique_cuts\030\254\001 \001" +
144 "(\010:\004true\022!\n\025max_all_diff_cut_size\030\224\001 \001(\005" +
145 ":\0017\022\037\n\020add_lin_max_cuts\030\230\001 \001(\010:\004true\022)\n\034" +
146 "max_integer_rounding_scaling\030w \001(\005:\003600\022" +
147 "\'\n\031add_lp_constraints_lazily\030p \001(\010:\004true" +
148 "\0222\n$min_orthogonality_for_lp_constraints" +
149 "\030s \001(\001:\0040.05\022(\n\034max_cut_rounds_at_level_" +
150 "zero\030\232\001 \001(\005:\0011\022+\n\036max_consecutive_inacti" +
151 "ve_count\030y \001(\005:\003100\0220\n\032cut_max_active_co" +
152 "unt_value\030\233\001 \001(\001:\01310000000000\022$\n\026cut_act" +
153 "ive_count_decay\030\234\001 \001(\001:\0030.8\022!\n\022cut_clean" +
154 "up_target\030\235\001 \001(\005:\0041000\022&\n\032new_constraint" +
155 "s_batch_size\030z \001(\005:\00250\022b\n\020search_branchi" +
156 "ng\030R \001(\01626.operations_research.sat.SatPa" +
157 "rameters.SearchBranching:\020AUTOMATIC_SEAR" +
158 "CH\022 \n\023hint_conflict_limit\030\231\001 \001(\005:\00210\022\033\n\013" +
159 "repair_hint\030\247\001 \001(\010:\005false\022)\n\033exploit_int" +
160 "eger_lp_solution\030^ \001(\010:\004true\022%\n\027exploit_" +
161 "all_lp_solution\030t \001(\010:\004true\022%\n\025exploit_b" +
162 "est_solution\030\202\001 \001(\010:\005false\022+\n\033exploit_re" +
163 "laxation_solution\030\241\001 \001(\010:\005false\022 \n\021explo" +
164 "it_objective\030\203\001 \001(\010:\004true\022\"\n\026probing_per" +
165 "iod_at_root\030\216\001 \001(\003:\0010\022\"\n\022use_probing_sea" +
166 "rch\030\260\001 \001(\010:\005false\022.\n!pseudo_cost_reliabi" +
167 "lity_threshold\030{ \001(\003:\003100\022!\n\022optimize_wi" +
168 "th_core\030S \001(\010:\005false\022\'\n\033binary_search_nu" +
169 "m_conflicts\030c \001(\005:\002-1\022#\n\024optimize_with_m" +
170 "ax_hs\030U \001(\010:\005false\022&\n\027enumerate_all_solu" +
171 "tions\030W \001(\010:\005false\0227\n\'keep_all_feasible_" +
172 "solutions_in_presolve\030\255\001 \001(\010:\005false\0222\n\"f" +
173 "ill_tightened_domains_in_response\030\204\001 \001(\010" +
174 ":\005false\022\'\n\031instantiate_all_variables\030j \001" +
175 "(\010:\004true\0226\n(auto_detect_greater_than_at_" +
176 "least_one_of\030_ \001(\010:\004true\022(\n\031stop_after_f" +
177 "irst_solution\030b \001(\010:\005false\022#\n\023stop_after" +
178 "_presolve\030\225\001 \001(\010:\005false\022\035\n\022num_search_wo" +
179 "rkers\030d \001(\005:\0011\022!\n\021interleave_search\030\210\001 \001" +
180 "(\010:\005false\022!\n\025interleave_batch_size\030\206\001 \001(" +
181 "\005:\0011\0226\n&reduce_memory_usage_in_interleav" +
182 "e_mode\030\215\001 \001(\010:\005false\022$\n\026share_objective_" +
183 "bounds\030q \001(\010:\004true\022%\n\027share_level_zero_b" +
184 "ounds\030r \001(\010:\004true\022\033\n\014use_lns_only\030e \001(\010:" +
185 "\005false\022.\n\037lns_focus_on_decision_variable" +
186 "s\030i \001(\010:\005false\022\033\n\014use_rins_lns\030\201\001 \001(\010:\004t" +
187 "rue\022#\n\024use_feasibility_pump\030\244\001 \001(\010:\004true" +
188 "\022c\n\013fp_rounding\030\245\001 \001(\01627.operations_rese" +
189 "arch.sat.SatParameters.FPRoundingMethod:" +
190 "\024PROPAGATION_ASSISTED\022\"\n\022use_relaxation_" +
191 "lns\030\226\001 \001(\010:\005false\022$\n\024diversify_lns_param" +
192 "s\030\211\001 \001(\010:\005false\022\037\n\020randomize_search\030g \001(" +
193 "\010:\005false\022)\n\036search_randomization_toleran" +
194 "ce\030h \001(\003:\0010\022$\n\026use_optional_variables\030l " +
195 "\001(\010:\004true\022!\n\023use_exact_lp_reason\030m \001(\010:\004" +
196 "true\022#\n\023use_branching_in_lp\030\213\001 \001(\010:\005fals" +
197 "e\022\'\n\027use_combined_no_overlap\030\205\001 \001(\010:\005fal" +
198 "se\022\"\n\023catch_sigint_signal\030\207\001 \001(\010:\004true\022!" +
199 "\n\022use_implied_bounds\030\220\001 \001(\010:\004true\022\"\n\022pol" +
200 "ish_lp_solution\030\257\001 \001(\010:\005false\022\037\n\rmip_max" +
201 "_bound\030| \001(\001:\01010000000\022\032\n\017mip_var_scalin" +
202 "g\030} \001(\001:\0011\0220\n!mip_automatically_scale_va" +
203 "riables\030\246\001 \001(\010:\004true\022#\n\024mip_wanted_preci" +
204 "sion\030~ \001(\001:\0051e-06\022%\n\031mip_max_activity_ex" +
205 "ponent\030\177 \001(\005:\00253\022$\n\023mip_check_precision\030" +
206 "\200\001 \001(\001:\0060.0001\"H\n\rVariableOrder\022\014\n\010IN_OR" +
207 "DER\020\000\022\024\n\020IN_REVERSE_ORDER\020\001\022\023\n\017IN_RANDOM" +
208 "_ORDER\020\002\"\206\001\n\010Polarity\022\021\n\rPOLARITY_TRUE\020\000" +
209 "\022\022\n\016POLARITY_FALSE\020\001\022\023\n\017POLARITY_RANDOM\020" +
210 "\002\022\032\n\026POLARITY_WEIGHTED_SIGN\020\003\022\"\n\036POLARIT" +
211 "Y_REVERSE_WEIGHTED_SIGN\020\004\"V\n\035ConflictMin" +
212 "imizationAlgorithm\022\010\n\004NONE\020\000\022\n\n\006SIMPLE\020\001" +
213 "\022\r\n\tRECURSIVE\020\002\022\020\n\014EXPERIMENTAL\020\003\"\340\001\n\031Bi" +
214 "naryMinizationAlgorithm\022\032\n\026NO_BINARY_MIN" +
215 "IMIZATION\020\000\022\035\n\031BINARY_MINIMIZATION_FIRST" +
216 "\020\001\0227\n3BINARY_MINIMIZATION_FIRST_WITH_TRA" +
217 "NSITIVE_REDUCTION\020\004\022)\n%BINARY_MINIMIZATI" +
218 "ON_WITH_REACHABILITY\020\002\022$\n EXPERIMENTAL_B" +
219 "INARY_MINIMIZATION\020\003\"R\n\020ClauseProtection" +
220 "\022\023\n\017PROTECTION_NONE\020\000\022\025\n\021PROTECTION_ALWA" +
221 "YS\020\001\022\022\n\016PROTECTION_LBD\020\002\"5\n\016ClauseOrderi" +
222 "ng\022\023\n\017CLAUSE_ACTIVITY\020\000\022\016\n\nCLAUSE_LBD\020\001\"" +
223 "\206\001\n\020RestartAlgorithm\022\016\n\nNO_RESTART\020\000\022\020\n\014" +
224 "LUBY_RESTART\020\001\022\035\n\031DL_MOVING_AVERAGE_REST" +
225 "ART\020\002\022\036\n\032LBD_MOVING_AVERAGE_RESTART\020\003\022\021\n" +
226 "\rFIXED_RESTART\020\004\"t\n\025MaxSatAssumptionOrde" +
227 "r\022\034\n\030DEFAULT_ASSUMPTION_ORDER\020\000\022\035\n\031ORDER" +
228 "_ASSUMPTION_BY_DEPTH\020\001\022\036\n\032ORDER_ASSUMPTI" +
229 "ON_BY_WEIGHT\020\002\"o\n\035MaxSatStratificationAl" +
230 "gorithm\022\027\n\023STRATIFICATION_NONE\020\000\022\032\n\026STRA" +
231 "TIFICATION_DESCENT\020\001\022\031\n\025STRATIFICATION_A" +
232 "SCENT\020\002\"\260\001\n\017SearchBranching\022\024\n\020AUTOMATIC" +
233 "_SEARCH\020\000\022\020\n\014FIXED_SEARCH\020\001\022\024\n\020PORTFOLIO" +
234 "_SEARCH\020\002\022\r\n\tLP_SEARCH\020\003\022\026\n\022PSEUDO_COST_" +
235 "SEARCH\020\004\022\'\n#PORTFOLIO_WITH_QUICK_RESTART" +
236 "_SEARCH\020\005\022\017\n\013HINT_SEARCH\020\006\"h\n\020FPRounding" +
237 "Method\022\023\n\017NEAREST_INTEGER\020\000\022\016\n\nLOCK_BASE" +
238 "D\020\001\022\025\n\021ACTIVE_LOCK_BASED\020\003\022\030\n\024PROPAGATIO" +
239 "N_ASSISTED\020\002B\032\n\026com.google.ortools.satP\001"
241 descriptor =
com.
google.protobuf.Descriptors.FileDescriptor
242 .internalBuildGeneratedFileFrom(descriptorData,
243 new com.
google.protobuf.Descriptors.FileDescriptor[] {
245 internal_static_operations_research_sat_SatParameters_descriptor =
247 internal_static_operations_research_sat_SatParameters_fieldAccessorTable =
new
248 com.
google.protobuf.GeneratedMessageV3.FieldAccessorTable(
249 internal_static_operations_research_sat_SatParameters_descriptor,
250 new java.lang.String[] {
"Name",
"PreferredVariableOrder",
"InitialPolarity",
"UsePhaseSaving",
"PolarityRephaseIncrement",
"RandomPolarityRatio",
"RandomBranchesRatio",
"UseErwaHeuristic",
"InitialVariablesActivity",
"AlsoBumpVariablesInConflictReasons",
"MinimizationAlgorithm",
"BinaryMinimizationAlgorithm",
"SubsumptionDuringConflictAnalysis",
"ClauseCleanupPeriod",
"ClauseCleanupTarget",
"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",
"LogSearchProgress",
"UsePbResolution",
"MinimizeReductionDuringPbResolution",
"CountAssumptionLevelsInLbd",
"PresolveBveThreshold",
"PresolveBveClauseWeight",
"PresolveProbingDeterministicTimeLimit",
"PresolveBlockedClause",
"PresolveUseBva",
"PresolveBvaThreshold",
"MaxPresolveIterations",
"CpModelPresolve",
"CpModelPostsolveWithFullSolver",
"CpModelMaxNumPresolveOperations",
"CpModelProbingLevel",
"CpModelUseSatPresolve",
"UseSatInprocessing",
"ExpandElementConstraints",
"ExpandAutomatonConstraints",
"ExpandTableConstraints",
"ExpandAlldiffConstraints",
"MergeNoOverlapWorkLimit",
"MergeAtMostOneWorkLimit",
"PresolveSubstitutionLevel",
"PresolveExtractIntegerEnforcement",
"UseOptimizationHints",
"MinimizeCore",
"FindMultipleCores",
"CoverOptimization",
"MaxSatAssumptionOrder",
"MaxSatReverseAssumptionOrder",
"MaxSatStratification",
"UsePrecedencesInDisjunctiveConstraint",
"UseOverloadCheckerInCumulativeConstraint",
"UseTimetableEdgeFindingInCumulativeConstraint",
"UseDisjunctiveConstraintInCumulativeConstraint",
"LinearizationLevel",
"BooleanEncodingLevel",
"MaxNumCuts",
"OnlyAddCutsAtLevelZero",
"AddKnapsackCuts",
"AddCgCuts",
"AddMirCuts",
"AddZeroHalfCuts",
"AddCliqueCuts",
"MaxAllDiffCutSize",
"AddLinMaxCuts",
"MaxIntegerRoundingScaling",
"AddLpConstraintsLazily",
"MinOrthogonalityForLpConstraints",
"MaxCutRoundsAtLevelZero",
"MaxConsecutiveInactiveCount",
"CutMaxActiveCountValue",
"CutActiveCountDecay",
"CutCleanupTarget",
"NewConstraintsBatchSize",
"SearchBranching",
"HintConflictLimit",
"RepairHint",
"ExploitIntegerLpSolution",
"ExploitAllLpSolution",
"ExploitBestSolution",
"ExploitRelaxationSolution",
"ExploitObjective",
"ProbingPeriodAtRoot",
"UseProbingSearch",
"PseudoCostReliabilityThreshold",
"OptimizeWithCore",
"BinarySearchNumConflicts",
"OptimizeWithMaxHs",
"EnumerateAllSolutions",
"KeepAllFeasibleSolutionsInPresolve",
"FillTightenedDomainsInResponse",
"InstantiateAllVariables",
"AutoDetectGreaterThanAtLeastOneOf",
"StopAfterFirstSolution",
"StopAfterPresolve",
"NumSearchWorkers",
"InterleaveSearch",
"InterleaveBatchSize",
"ReduceMemoryUsageInInterleaveMode",
"ShareObjectiveBounds",
"ShareLevelZeroBounds",
"UseLnsOnly",
"LnsFocusOnDecisionVariables",
"UseRinsLns",
"UseFeasibilityPump",
"FpRounding",
"UseRelaxationLns",
"DiversifyLnsParams",
"RandomizeSearch",
"SearchRandomizationTolerance",
"UseOptionalVariables",
"UseExactLpReason",
"UseBranchingInLp",
"UseCombinedNoOverlap",
"CatchSigintSignal",
"UseImpliedBounds",
"PolishLpSolution",
"MipMaxBound",
"MipVarScaling",
"MipAutomaticallyScaleVariables",
"MipWantedPrecision",
"MipMaxActivityExponent",
"MipCheckPrecision", });