SatParametersOuterClass.java

Go to the documentation of this file.

// Generated by the protocol buffer compiler.  DO NOT EDIT!
// NO CHECKED-IN PROTOBUF GENCODE
// source: ortools/sat/sat_parameters.proto
// Protobuf Java Version: 4.29.3
 
package com.google.ortools.sat;
 
public final class SatParametersOuterClass {
  private SatParametersOuterClass() {}
  static {
    com.google.protobuf.RuntimeVersion.validateProtobufGencodeVersion(
      com.google.protobuf.RuntimeVersion.RuntimeDomain.PUBLIC,
      /* major= */ 4,
      /* minor= */ 29,
      /* patch= */ 3,
      /* suffix= */ "",
      SatParametersOuterClass.class.getName());
  }
  public static void registerAllExtensions(
      com.google.protobuf.ExtensionRegistryLite registry) {
  }
 
  public static void registerAllExtensions(
      com.google.protobuf.ExtensionRegistry registry) {
    registerAllExtensions(
        (com.google.protobuf.ExtensionRegistryLite) registry);
  }
  static final com.google.protobuf.Descriptors.Descriptor
    internal_static_operations_research_sat_SatParameters_descriptor;
  static final 
    com.google.protobuf.GeneratedMessage.FieldAccessorTable
      internal_static_operations_research_sat_SatParameters_fieldAccessorTable;
 
  public static com.google.protobuf.Descriptors.FileDescriptor
      getDescriptor() {
    return descriptor;
  }
  private static  com.google.protobuf.Descriptors.FileDescriptor
      descriptor;
  static {
    java.lang.String[] descriptorData = {
      "\n ortools/sat/sat_parameters.proto\022\027oper" +
      "ations_research.sat\"\373i\n\rSatParameters\022\017\n" +
      "\004name\030\253\001 \001(\t:\000\022`\n\030preferred_variable_ord" +
      "er\030\001 \001(\01624.operations_research.sat.SatPa" +
      "rameters.VariableOrder:\010IN_ORDER\022Y\n\020init" +
      "ial_polarity\030\002 \001(\0162/.operations_research" +
      ".sat.SatParameters.Polarity:\016POLARITY_FA" +
      "LSE\022\036\n\020use_phase_saving\030, \001(\010:\004true\022)\n\032p" +
      "olarity_rephase_increment\030\250\001 \001(\005:\0041000\022)" +
      "\n\031polarity_exploit_ls_hints\030\265\002 \001(\010:\005fals" +
      "e\022 \n\025random_polarity_ratio\030- \001(\001:\0010\022 \n\025r" +
      "andom_branches_ratio\030  \001(\001:\0010\022!\n\022use_erw" +
      "a_heuristic\030K \001(\010:\005false\022%\n\032initial_vari" +
      "ables_activity\030L \001(\001:\0010\0226\n\'also_bump_var" +
      "iables_in_conflict_reasons\030M \001(\010:\005false\022" +
      "o\n\026minimization_algorithm\030\004 \001(\0162D.operat" +
      "ions_research.sat.SatParameters.Conflict" +
      "MinimizationAlgorithm:\tRECURSIVE\022\202\001\n\035bin" +
      "ary_minimization_algorithm\030\" \001(\0162@.opera" +
      "tions_research.sat.SatParameters.BinaryM" +
      "inizationAlgorithm:\031BINARY_MINIMIZATION_" +
      "FIRST\0222\n$subsumption_during_conflict_ana" +
      "lysis\0308 \001(\010:\004true\022$\n\025clause_cleanup_peri" +
      "od\030\013 \001(\005:\00510000\022 \n\025clause_cleanup_target" +
      "\030\r \001(\005:\0010\022\"\n\024clause_cleanup_ratio\030\276\001 \001(\001" +
      ":\0030.5\022k\n\031clause_cleanup_protection\030: \001(\016" +
      "27.operations_research.sat.SatParameters" +
      ".ClauseProtection:\017PROTECTION_NONE\022#\n\030cl" +
      "ause_cleanup_lbd_bound\030; \001(\005:\0015\022g\n\027claus" +
      "e_cleanup_ordering\030< \001(\01625.operations_re" +
      "search.sat.SatParameters.ClauseOrdering:" +
      "\017CLAUSE_ACTIVITY\022!\n\024pb_cleanup_increment" +
      "\030. \001(\005:\003200\022\035\n\020pb_cleanup_ratio\030/ \001(\001:\0030" +
      ".5\022$\n\027variable_activity_decay\030\017 \001(\001:\0030.8" +
      "\022+\n\033max_variable_activity_value\030\020 \001(\001:\0061" +
      "e+100\022\037\n\021glucose_max_decay\030\026 \001(\001:\0040.95\022%" +
      "\n\027glucose_decay_increment\030\027 \001(\001:\0040.01\022,\n" +
      "\036glucose_decay_increment_period\030\030 \001(\005:\0045" +
      "000\022$\n\025clause_activity_decay\030\021 \001(\001:\0050.99" +
      "9\022(\n\031max_clause_activity_value\030\022 \001(\001:\0051e" +
      "+20\022S\n\022restart_algorithms\030= \003(\01627.operat" +
      "ions_research.sat.SatParameters.RestartA" +
      "lgorithm\022e\n\032default_restart_algorithms\030F" +
      " \001(\t:ALUBY_RESTART,LBD_MOVING_AVERAGE_RE" +
      "START,DL_MOVING_AVERAGE_RESTART\022\032\n\016resta" +
      "rt_period\030\036 \001(\005:\00250\022\'\n\033restart_running_w" +
      "indow_size\030> \001(\005:\00250\022#\n\030restart_dl_avera" +
      "ge_ratio\030? \001(\001:\0011\022$\n\031restart_lbd_average" +
      "_ratio\030G \001(\001:\0011\022#\n\024use_blocking_restart\030" +
      "@ \001(\010:\005false\022*\n\034blocking_restart_window_" +
      "size\030A \001(\005:\0045000\022(\n\033blocking_restart_mul" +
      "tiplier\030B \001(\001:\0031.4\0220\n%num_conflicts_befo" +
      "re_strategy_changes\030D \001(\005:\0010\022)\n\036strategy" +
      "_change_increase_ratio\030E \001(\001:\0010\022 \n\023max_t" +
      "ime_in_seconds\030$ \001(\001:\003inf\022#\n\026max_determi" +
      "nistic_time\030C \001(\001:\003inf\022)\n\035max_num_determ" +
      "inistic_batches\030\243\002 \001(\005:\0010\0224\n\027max_number_" +
      "of_conflicts\030% \001(\003:\0239223372036854775807\022" +
      "\037\n\020max_memory_in_mb\030( \001(\003:\00510000\022#\n\022abso" +
      "lute_gap_limit\030\237\001 \001(\001:\0060.0001\022\036\n\022relativ" +
      "e_gap_limit\030\240\001 \001(\001:\0010\022\026\n\013random_seed\030\037 \001" +
      "(\005:\0011\022)\n\031permute_variable_randomly\030\262\001 \001(" +
      "\010:\005false\0221\n!permute_presolve_constraint_" +
      "order\030\263\001 \001(\010:\005false\022\037\n\017use_absl_random\030\264" +
      "\001 \001(\010:\005false\022\"\n\023log_search_progress\030) \001(" +
      "\010:\005false\022(\n\030log_subsolver_statistics\030\275\001 " +
      "\001(\010:\005false\022\025\n\nlog_prefix\030\271\001 \001(\t:\000\022\034\n\rlog" +
      "_to_stdout\030\272\001 \001(\010:\004true\022\037\n\017log_to_respon" +
      "se\030\273\001 \001(\010:\005false\022 \n\021use_pb_resolution\030+ " +
      "\001(\010:\005false\0226\n\'minimize_reduction_during_" +
      "pb_resolution\0300 \001(\010:\005false\022,\n\036count_assu" +
      "mption_levels_in_lbd\0301 \001(\010:\004true\022#\n\026pres" +
      "olve_bve_threshold\0306 \001(\005:\003500\022%\n\032presolv" +
      "e_bve_clause_weight\0307 \001(\005:\0013\022,\n probing_" +
      "deterministic_time_limit\030\342\001 \001(\001:\0011\0225\n)pr" +
      "esolve_probing_deterministic_time_limit\030" +
      "9 \001(\001:\00230\022%\n\027presolve_blocked_clause\030X \001" +
      "(\010:\004true\022\036\n\020presolve_use_bva\030H \001(\010:\004true" +
      "\022!\n\026presolve_bva_threshold\030I \001(\005:\0011\022#\n\027m" +
      "ax_presolve_iterations\030\212\001 \001(\005:\0013\022\037\n\021cp_m" +
      "odel_presolve\030V \001(\010:\004true\022!\n\026cp_model_pr" +
      "obing_level\030n \001(\005:\0012\022\'\n\031cp_model_use_sat" +
      "_presolve\030] \001(\010:\004true\022+\n\034remove_fixed_va" +
      "riables_early\030\266\002 \001(\010:\004true\022&\n\026detect_tab" +
      "le_with_cost\030\330\001 \001(\010:\005false\022#\n\027table_comp" +
      "ression_level\030\331\001 \001(\005:\0012\022*\n\032expand_alldif" +
      "f_constraints\030\252\001 \001(\010:\005false\022+\n\034expand_re" +
      "servoir_constraints\030\266\001 \001(\010:\004true\022.\n\036expa" +
      "nd_reservoir_using_circuit\030\240\002 \001(\010:\005false" +
      "\022.\n\036encode_cumulative_as_reservoir\030\237\002 \001(" +
      "\010:\005false\022*\n\036max_lin_max_size_for_expansi" +
      "on\030\230\002 \001(\005:\0010\022,\n\034disable_constraint_expan" +
      "sion\030\265\001 \001(\010:\005false\022=\n-encode_complex_lin" +
      "ear_constraint_with_integer\030\337\001 \001(\010:\005fals" +
      "e\0223\n\033merge_no_overlap_work_limit\030\221\001 \001(\001:" +
      "\r1000000000000\0220\n\034merge_at_most_one_work" +
      "_limit\030\222\001 \001(\001:\t100000000\022\'\n\033presolve_sub" +
      "stitution_level\030\223\001 \001(\005:\0011\0224\n$presolve_ex" +
      "tract_integer_enforcement\030\256\001 \001(\010:\005false\022" +
      "1\n\035presolve_inclusion_work_limit\030\311\001 \001(\003:" +
      "\t100000000\022\033\n\014ignore_names\030\312\001 \001(\010:\004true\022" +
      "\036\n\017infer_all_diffs\030\351\001 \001(\010:\004true\022&\n\027find_" +
      "big_linear_overlap\030\352\001 \001(\010:\004true\022#\n\024use_s" +
      "at_inprocessing\030\243\001 \001(\010:\004true\022&\n\030inproces" +
      "sing_dtime_ratio\030\221\002 \001(\001:\0030.2\022&\n\032inproces" +
      "sing_probing_dtime\030\222\002 \001(\001:\0011\022+\n\037inproces" +
      "sing_minimization_dtime\030\223\002 \001(\001:\0011\022>\n/inp" +
      "rocessing_minimization_use_conflict_anal" +
      "ysis\030\251\002 \001(\010:\004true\022;\n+inprocessing_minimi" +
      "zation_use_all_orderings\030\252\002 \001(\010:\005false\022\027" +
      "\n\013num_workers\030\316\001 \001(\005:\0010\022\035\n\022num_search_wo" +
      "rkers\030d \001(\005:\0010\022\037\n\023num_full_subsolvers\030\246\002" +
      " \001(\005:\0010\022\023\n\nsubsolvers\030\317\001 \003(\t\022\031\n\020extra_su" +
      "bsolvers\030\333\001 \003(\t\022\032\n\021ignore_subsolvers\030\321\001 " +
      "\003(\t\022\032\n\021filter_subsolvers\030\245\002 \003(\t\022A\n\020subso" +
      "lver_params\030\322\001 \003(\0132&.operations_research" +
      ".sat.SatParameters\022!\n\021interleave_search\030" +
      "\210\001 \001(\010:\005false\022!\n\025interleave_batch_size\030\206" +
      "\001 \001(\005:\0010\022$\n\026share_objective_bounds\030q \001(\010" +
      ":\004true\022%\n\027share_level_zero_bounds\030r \001(\010:" +
      "\004true\022#\n\024share_binary_clauses\030\313\001 \001(\010:\004tr" +
      "ue\022\"\n\022share_glue_clauses\030\235\002 \001(\010:\005false\022&" +
      "\n\027minimize_shared_clauses\030\254\002 \001(\010:\004true\0220" +
      "\n debug_postsolve_with_full_solver\030\242\001 \001(" +
      "\010:\005false\022-\n!debug_max_num_presolve_opera" +
      "tions\030\227\001 \001(\005:\0010\022\'\n\027debug_crash_on_bad_hi" +
      "nt\030\303\001 \001(\010:\005false\0223\n#debug_crash_if_preso" +
      "lve_breaks_hint\030\262\002 \001(\010:\005false\022$\n\026use_opt" +
      "imization_hints\030# \001(\010:\004true\022\"\n\027core_mini" +
      "mization_level\0302 \001(\005:\0012\022!\n\023find_multiple" +
      "_cores\030T \001(\010:\004true\022 \n\022cover_optimization" +
      "\030Y \001(\010:\004true\022x\n\030max_sat_assumption_order" +
      "\0303 \001(\0162<.operations_research.sat.SatPara" +
      "meters.MaxSatAssumptionOrder:\030DEFAULT_AS" +
      "SUMPTION_ORDER\022/\n max_sat_reverse_assump" +
      "tion_order\0304 \001(\010:\005false\022|\n\026max_sat_strat" +
      "ification\0305 \001(\0162D.operations_research.sa" +
      "t.SatParameters.MaxSatStratificationAlgo" +
      "rithm:\026STRATIFICATION_DESCENT\022.\n!propaga" +
      "tion_loop_detection_factor\030\335\001 \001(\001:\00210\0227\n" +
      ")use_precedences_in_disjunctive_constrai" +
      "nt\030J \001(\010:\004true\022B\n5max_size_to_create_pre" +
      "cedence_literals_in_disjunctive\030\345\001 \001(\005:\002" +
      "60\0225\n%use_strong_propagation_in_disjunct" +
      "ive\030\346\001 \001(\010:\005false\0225\n%use_dynamic_precede" +
      "nce_in_disjunctive\030\207\002 \001(\010:\005false\0224\n$use_" +
      "dynamic_precedence_in_cumulative\030\214\002 \001(\010:" +
      "\005false\0221\n\"use_overload_checker_in_cumula" +
      "tive\030N \001(\010:\005false\0227\n\'use_conservative_sc" +
      "ale_overload_checker\030\236\002 \001(\010:\005false\0227\n(us" +
      "e_timetable_edge_finding_in_cumulative\030O" +
      " \001(\010:\005false\022:\n,max_num_intervals_for_tim" +
      "etable_edge_finding\030\204\002 \001(\005:\003100\0222\n\"use_h" +
      "ard_precedences_in_cumulative\030\327\001 \001(\010:\005fa" +
      "lse\022\'\n\027exploit_all_precedences\030\334\001 \001(\010:\005f" +
      "alse\0226\n(use_disjunctive_constraint_in_cu" +
      "mulative\030P \001(\010:\004true\0220\n use_timetabling_" +
      "in_no_overlap_2d\030\310\001 \001(\010:\005false\0228\n(use_en" +
      "ergetic_reasoning_in_no_overlap_2d\030\325\001 \001(" +
      "\010:\005false\022=\n-use_area_energetic_reasoning" +
      "_in_no_overlap_2d\030\217\002 \001(\010:\005false\0227\n\'use_t" +
      "ry_edge_reasoning_in_no_overlap_2d\030\253\002 \001(" +
      "\010:\005false\022<\n-max_pairs_pairwise_reasoning" +
      "_in_no_overlap_2d\030\224\002 \001(\005:\0041250\022B\n6maximu" +
      "m_regions_to_split_in_disconnected_no_ov" +
      "erlap_2d\030\273\002 \001(\005:\0010\022-\n\036use_dual_schedulin" +
      "g_heuristics\030\326\001 \001(\010:\004true\022-\n\035use_all_dif" +
      "ferent_for_circuit\030\267\002 \001(\010:\005false\022=\n1rout" +
      "ing_cut_subset_size_for_binary_relation_" +
      "bound\030\270\002 \001(\005:\0010\022C\n7routing_cut_subset_si" +
      "ze_for_tight_binary_relation_bound\030\271\002 \001(" +
      "\005:\0010\022(\n\025routing_cut_dp_effort\030\272\002 \001(\001:\01010" +
      "000000\022b\n\020search_branching\030R \001(\01626.opera" +
      "tions_research.sat.SatParameters.SearchB" +
      "ranching:\020AUTOMATIC_SEARCH\022 \n\023hint_confl" +
      "ict_limit\030\231\001 \001(\005:\00210\022\033\n\013repair_hint\030\247\001 \001" +
      "(\010:\005false\0223\n#fix_variables_to_their_hint" +
      "ed_value\030\300\001 \001(\010:\005false\022\"\n\022use_probing_se" +
      "arch\030\260\001 \001(\010:\005false\022#\n\024use_extended_probi" +
      "ng\030\215\002 \001(\010:\004true\022.\n\036probing_num_combinati" +
      "ons_limit\030\220\002 \001(\005:\00520000\022,\n\035use_shaving_i" +
      "n_probing_search\030\314\001 \001(\010:\004true\0221\n!shaving" +
      "_search_deterministic_time\030\315\001 \001(\001:\0050.001" +
      "\022%\n\030shaving_search_threshold\030\242\002 \001(\003:\00264\022" +
      "\'\n\027use_objective_lb_search\030\344\001 \001(\010:\005false" +
      "\022,\n\034use_objective_shaving_search\030\375\001 \001(\010:" +
      "\005false\022,\n\034use_variables_shaving_search\030\241" +
      "\002 \001(\010:\005false\022.\n!pseudo_cost_reliability_" +
      "threshold\030{ \001(\003:\003100\022!\n\022optimize_with_co" +
      "re\030S \001(\010:\005false\022,\n\034optimize_with_lb_tree" +
      "_search\030\274\001 \001(\010:\005false\022/\n\037save_lp_basis_i" +
      "n_lb_tree_search\030\234\002 \001(\010:\005false\022\'\n\033binary" +
      "_search_num_conflicts\030c \001(\005:\002-1\022#\n\024optim" +
      "ize_with_max_hs\030U \001(\010:\005false\022#\n\024use_feas" +
      "ibility_jump\030\211\002 \001(\010:\004true\022\033\n\013use_ls_only" +
      "\030\360\001 \001(\010:\005false\022%\n\026feasibility_jump_decay" +
      "\030\362\001 \001(\001:\0040.95\0220\n$feasibility_jump_linear" +
      "ization_level\030\201\002 \001(\005:\0012\022+\n\037feasibility_j" +
      "ump_restart_factor\030\202\002 \001(\005:\0011\022*\n\034feasibil" +
      "ity_jump_batch_dtime\030\244\002 \001(\001:\0030.1\022=\n.feas" +
      "ibility_jump_var_randomization_probabili" +
      "ty\030\367\001 \001(\001:\0040.05\022;\n-feasibility_jump_var_" +
      "perburbation_range_ratio\030\370\001 \001(\001:\0030.2\022/\n " +
      "feasibility_jump_enable_restarts\030\372\001 \001(\010:" +
      "\004true\022;\n-feasibility_jump_max_expanded_c" +
      "onstraint_size\030\210\002 \001(\005:\003500\022\034\n\020num_violat" +
      "ion_ls\030\364\001 \001(\005:\0010\022.\n violation_ls_perturb" +
      "ation_period\030\371\001 \001(\005:\003100\0224\n&violation_ls" +
      "_compound_move_probability\030\203\002 \001(\001:\0030.5\022#" +
      "\n\027shared_tree_num_workers\030\353\001 \001(\005:\0010\022&\n\026u" +
      "se_shared_tree_search\030\354\001 \001(\010:\005false\0227\n+s" +
      "hared_tree_worker_min_restarts_per_subtr" +
      "ee\030\232\002 \001(\005:\0011\0226\n\'shared_tree_worker_enabl" +
      "e_trail_sharing\030\247\002 \001(\010:\004true\0226\n\'shared_t" +
      "ree_worker_enable_phase_sharing\030\260\002 \001(\010:\004" +
      "true\022.\n\"shared_tree_open_leaves_per_work" +
      "er\030\231\002 \001(\001:\0012\0220\n shared_tree_max_nodes_pe" +
      "r_worker\030\356\001 \001(\005:\00510000\022x\n\032shared_tree_sp" +
      "lit_strategy\030\357\001 \001(\0162>.operations_researc" +
      "h.sat.SatParameters.SharedTreeSplitStrat" +
      "egy:\023SPLIT_STRATEGY_AUTO\022)\n\035shared_tree_" +
      "balance_tolerance\030\261\002 \001(\005:\0011\022&\n\027enumerate" +
      "_all_solutions\030W \001(\010:\005false\0227\n\'keep_all_" +
      "feasible_solutions_in_presolve\030\255\001 \001(\010:\005f" +
      "alse\0222\n\"fill_tightened_domains_in_respon" +
      "se\030\204\001 \001(\010:\005false\0225\n%fill_additional_solu" +
      "tions_in_response\030\302\001 \001(\010:\005false\022\'\n\031insta" +
      "ntiate_all_variables\030j \001(\010:\004true\0226\n(auto" +
      "_detect_greater_than_at_least_one_of\030_ \001" +
      "(\010:\004true\022(\n\031stop_after_first_solution\030b " +
      "\001(\010:\005false\022#\n\023stop_after_presolve\030\225\001 \001(\010" +
      ":\005false\022+\n\033stop_after_root_propagation\030\374" +
      "\001 \001(\010:\005false\022$\n\026lns_initial_difficulty\030\263" +
      "\002 \001(\001:\0030.5\022-\n\037lns_initial_deterministic_" +
      "limit\030\264\002 \001(\001:\0030.1\022\026\n\007use_lns\030\233\002 \001(\010:\004tru" +
      "e\022\033\n\014use_lns_only\030e \001(\010:\005false\022\036\n\022soluti" +
      "on_pool_size\030\301\001 \001(\005:\0013\022\033\n\014use_rins_lns\030\201" +
      "\001 \001(\010:\004true\022#\n\024use_feasibility_pump\030\244\001 \001" +
      "(\010:\004true\022\037\n\020use_lb_relax_lns\030\377\001 \001(\010:\004tru" +
      "e\022+\n\036lb_relax_num_workers_threshold\030\250\002 \001" +
      "(\005:\00216\022c\n\013fp_rounding\030\245\001 \001(\01627.operation" +
      "s_research.sat.SatParameters.FPRoundingM" +
      "ethod:\024PROPAGATION_ASSISTED\022$\n\024diversify" +
      "_lns_params\030\211\001 \001(\010:\005false\022\037\n\020randomize_s" +
      "earch\030g \001(\010:\005false\022+\n search_random_vari" +
      "able_pool_size\030h \001(\003:\0010\022+\n\033push_all_task" +
      "s_toward_start\030\206\002 \001(\010:\005false\022%\n\026use_opti" +
      "onal_variables\030l \001(\010:\005false\022!\n\023use_exact" +
      "_lp_reason\030m \001(\010:\004true\022\'\n\027use_combined_n" +
      "o_overlap\030\205\001 \001(\010:\005false\022*\n\036at_most_one_m" +
      "ax_expansion_size\030\216\002 \001(\005:\0013\022\"\n\023catch_sig" +
      "int_signal\030\207\001 \001(\010:\004true\022!\n\022use_implied_b" +
      "ounds\030\220\001 \001(\010:\004true\022\"\n\022polish_lp_solution" +
      "\030\257\001 \001(\010:\005false\022#\n\023lp_primal_tolerance\030\212\002" +
      " \001(\001:\0051e-07\022!\n\021lp_dual_tolerance\030\213\002 \001(\001:" +
      "\0051e-07\022 \n\021convert_intervals\030\261\001 \001(\010:\004true" +
      "\022\032\n\016symmetry_level\030\267\001 \001(\005:\0012\022\"\n\022use_symm" +
      "etry_in_lp\030\255\002 \001(\010:\005false\022)\n\031keep_symmetr" +
      "y_in_presolve\030\257\002 \001(\010:\005false\0227\n+symmetry_" +
      "detection_deterministic_time_limit\030\256\002 \001(" +
      "\001:\0011\022%\n\026new_linear_propagation\030\340\001 \001(\010:\004t" +
      "rue\022\037\n\021linear_split_size\030\200\002 \001(\005:\003100\022\036\n\023" +
      "linearization_level\030Z \001(\005:\0011\022!\n\026boolean_" +
      "encoding_level\030k \001(\005:\0011\022=\n0max_domain_si" +
      "ze_when_encoding_eq_neq_constraints\030\277\001 \001" +
      "(\005:\00216\022\033\n\014max_num_cuts\030[ \001(\005:\00510000\022\025\n\tc" +
      "ut_level\030\304\001 \001(\005:\0011\022*\n\033only_add_cuts_at_l" +
      "evel_zero\030\\ \001(\010:\005false\022!\n\021add_objective_" +
      "cut\030\305\001 \001(\010:\005false\022\031\n\013add_cg_cuts\030u \001(\010:\004" +
      "true\022\032\n\014add_mir_cuts\030x \001(\010:\004true\022!\n\022add_" +
      "zero_half_cuts\030\251\001 \001(\010:\004true\022\036\n\017add_cliqu" +
      "e_cuts\030\254\001 \001(\010:\004true\022\033\n\014add_rlt_cuts\030\227\002 \001" +
      "(\010:\004true\022\"\n\025max_all_diff_cut_size\030\224\001 \001(\005" +
      ":\00264\022\037\n\020add_lin_max_cuts\030\230\001 \001(\010:\004true\022)\n" +
      "\034max_integer_rounding_scaling\030w \001(\005:\003600" +
      "\022\'\n\031add_lp_constraints_lazily\030p \001(\010:\004tru" +
      "e\022!\n\022root_lp_iterations\030\343\001 \001(\005:\0042000\0222\n$" +
      "min_orthogonality_for_lp_constraints\030s \001" +
      "(\001:\0040.05\022(\n\034max_cut_rounds_at_level_zero" +
      "\030\232\001 \001(\005:\0011\022+\n\036max_consecutive_inactive_c" +
      "ount\030y \001(\005:\003100\0220\n\032cut_max_active_count_" +
      "value\030\233\001 \001(\001:\01310000000000\022$\n\026cut_active_" +
      "count_decay\030\234\001 \001(\001:\0030.8\022!\n\022cut_cleanup_t" +
      "arget\030\235\001 \001(\005:\0041000\022&\n\032new_constraints_ba" +
      "tch_size\030z \001(\005:\00250\022)\n\033exploit_integer_lp" +
      "_solution\030^ \001(\010:\004true\022%\n\027exploit_all_lp_" +
      "solution\030t \001(\010:\004true\022%\n\025exploit_best_sol" +
      "ution\030\202\001 \001(\010:\005false\022+\n\033exploit_relaxatio" +
      "n_solution\030\241\001 \001(\010:\005false\022 \n\021exploit_obje" +
      "ctive\030\203\001 \001(\010:\004true\022)\n\031detect_linearized_" +
      "product\030\225\002 \001(\010:\005false\022\037\n\rmip_max_bound\030|" +
      " \001(\001:\01010000000\022\032\n\017mip_var_scaling\030} \001(\001:" +
      "\0011\022&\n\026mip_scale_large_domain\030\341\001 \001(\010:\005fal" +
      "se\0220\n!mip_automatically_scale_variables\030" +
      "\246\001 \001(\010:\004true\022\035\n\ronly_solve_ip\030\336\001 \001(\010:\005fa" +
      "lse\022#\n\024mip_wanted_precision\030~ \001(\001:\0051e-06" +
      "\022%\n\031mip_max_activity_exponent\030\177 \001(\005:\00253\022" +
      "$\n\023mip_check_precision\030\200\001 \001(\001:\0060.0001\022/\n" +
      " mip_compute_true_objective_bound\030\306\001 \001(\010" +
      ":\004true\022\'\n\027mip_max_valid_magnitude\030\307\001 \001(\001" +
      ":\0051e+20\022;\n+mip_treat_high_magnitude_boun" +
      "ds_as_infinity\030\226\002 \001(\010:\005false\022\"\n\022mip_drop" +
      "_tolerance\030\350\001 \001(\001:\0051e-16\022\036\n\022mip_presolve" +
      "_level\030\205\002 \001(\005:\0012\"H\n\rVariableOrder\022\014\n\010IN_" +
      "ORDER\020\000\022\024\n\020IN_REVERSE_ORDER\020\001\022\023\n\017IN_RAND" +
      "OM_ORDER\020\002\"F\n\010Polarity\022\021\n\rPOLARITY_TRUE\020" +
      "\000\022\022\n\016POLARITY_FALSE\020\001\022\023\n\017POLARITY_RANDOM" +
      "\020\002\"V\n\035ConflictMinimizationAlgorithm\022\010\n\004N" +
      "ONE\020\000\022\n\n\006SIMPLE\020\001\022\r\n\tRECURSIVE\020\002\022\020\n\014EXPE" +
      "RIMENTAL\020\003\"\340\001\n\031BinaryMinizationAlgorithm" +
      "\022\032\n\026NO_BINARY_MINIMIZATION\020\000\022\035\n\031BINARY_M" +
      "INIMIZATION_FIRST\020\001\0227\n3BINARY_MINIMIZATI" +
      "ON_FIRST_WITH_TRANSITIVE_REDUCTION\020\004\022)\n%" +
      "BINARY_MINIMIZATION_WITH_REACHABILITY\020\002\022" +
      "$\n EXPERIMENTAL_BINARY_MINIMIZATION\020\003\"R\n" +
      "\020ClauseProtection\022\023\n\017PROTECTION_NONE\020\000\022\025" +
      "\n\021PROTECTION_ALWAYS\020\001\022\022\n\016PROTECTION_LBD\020" +
      "\002\"5\n\016ClauseOrdering\022\023\n\017CLAUSE_ACTIVITY\020\000" +
      "\022\016\n\nCLAUSE_LBD\020\001\"\206\001\n\020RestartAlgorithm\022\016\n" +
      "\nNO_RESTART\020\000\022\020\n\014LUBY_RESTART\020\001\022\035\n\031DL_MO" +
      "VING_AVERAGE_RESTART\020\002\022\036\n\032LBD_MOVING_AVE" +
      "RAGE_RESTART\020\003\022\021\n\rFIXED_RESTART\020\004\"t\n\025Max" +
      "SatAssumptionOrder\022\034\n\030DEFAULT_ASSUMPTION" +
      "_ORDER\020\000\022\035\n\031ORDER_ASSUMPTION_BY_DEPTH\020\001\022" +
      "\036\n\032ORDER_ASSUMPTION_BY_WEIGHT\020\002\"o\n\035MaxSa" +
      "tStratificationAlgorithm\022\027\n\023STRATIFICATI" +
      "ON_NONE\020\000\022\032\n\026STRATIFICATION_DESCENT\020\001\022\031\n" +
      "\025STRATIFICATION_ASCENT\020\002\"\341\001\n\017SearchBranc" +
      "hing\022\024\n\020AUTOMATIC_SEARCH\020\000\022\020\n\014FIXED_SEAR" +
      "CH\020\001\022\024\n\020PORTFOLIO_SEARCH\020\002\022\r\n\tLP_SEARCH\020" +
      "\003\022\026\n\022PSEUDO_COST_SEARCH\020\004\022\'\n#PORTFOLIO_W" +
      "ITH_QUICK_RESTART_SEARCH\020\005\022\017\n\013HINT_SEARC" +
      "H\020\006\022\030\n\024PARTIAL_FIXED_SEARCH\020\007\022\025\n\021RANDOMI" +
      "ZED_SEARCH\020\010\"\270\001\n\027SharedTreeSplitStrategy" +
      "\022\027\n\023SPLIT_STRATEGY_AUTO\020\000\022\036\n\032SPLIT_STRAT" +
      "EGY_DISCREPANCY\020\001\022\037\n\033SPLIT_STRATEGY_OBJE" +
      "CTIVE_LB\020\002\022 \n\034SPLIT_STRATEGY_BALANCED_TR" +
      "EE\020\003\022!\n\035SPLIT_STRATEGY_FIRST_PROPOSAL\020\004\"" +
      "h\n\020FPRoundingMethod\022\023\n\017NEAREST_INTEGER\020\000" +
      "\022\016\n\nLOCK_BASED\020\001\022\025\n\021ACTIVE_LOCK_BASED\020\003\022" +
      "\030\n\024PROPAGATION_ASSISTED\020\002Bk\n\026com.google." +
      "ortools.satP\001Z:github.com/google/or-tool" +
      "s/ortools/sat/proto/satparameters\252\002\022Goog" +
      "le.OrTools.Sat"
    };
    descriptor = com.google.protobuf.Descriptors.FileDescriptor
      .internalBuildGeneratedFileFrom(descriptorData,
        new com.google.protobuf.Descriptors.FileDescriptor[] {
        });
    internal_static_operations_research_sat_SatParameters_descriptor =
      getDescriptor().getMessageTypes().get(0);
    internal_static_operations_research_sat_SatParameters_fieldAccessorTable = new
      com.google.protobuf.GeneratedMessage.FieldAccessorTable(
        internal_static_operations_research_sat_SatParameters_descriptor,
        new java.lang.String[] { "Name", "PreferredVariableOrder", "InitialPolarity", "UsePhaseSaving", "PolarityRephaseIncrement", "PolarityExploitLsHints", "RandomPolarityRatio", "RandomBranchesRatio", "UseErwaHeuristic", "InitialVariablesActivity", "AlsoBumpVariablesInConflictReasons", "MinimizationAlgorithm", "BinaryMinimizationAlgorithm", "SubsumptionDuringConflictAnalysis", "ClauseCleanupPeriod", "ClauseCleanupTarget", "ClauseCleanupRatio", "ClauseCleanupProtection", "ClauseCleanupLbdBound", "ClauseCleanupOrdering", "PbCleanupIncrement", "PbCleanupRatio", "VariableActivityDecay", "MaxVariableActivityValue", "GlucoseMaxDecay", "GlucoseDecayIncrement", "GlucoseDecayIncrementPeriod", "ClauseActivityDecay", "MaxClauseActivityValue", "RestartAlgorithms", "DefaultRestartAlgorithms", "RestartPeriod", "RestartRunningWindowSize", "RestartDlAverageRatio", "RestartLbdAverageRatio", "UseBlockingRestart", "BlockingRestartWindowSize", "BlockingRestartMultiplier", "NumConflictsBeforeStrategyChanges", "StrategyChangeIncreaseRatio", "MaxTimeInSeconds", "MaxDeterministicTime", "MaxNumDeterministicBatches", "MaxNumberOfConflicts", "MaxMemoryInMb", "AbsoluteGapLimit", "RelativeGapLimit", "RandomSeed", "PermuteVariableRandomly", "PermutePresolveConstraintOrder", "UseAbslRandom", "LogSearchProgress", "LogSubsolverStatistics", "LogPrefix", "LogToStdout", "LogToResponse", "UsePbResolution", "MinimizeReductionDuringPbResolution", "CountAssumptionLevelsInLbd", "PresolveBveThreshold", "PresolveBveClauseWeight", "ProbingDeterministicTimeLimit", "PresolveProbingDeterministicTimeLimit", "PresolveBlockedClause", "PresolveUseBva", "PresolveBvaThreshold", "MaxPresolveIterations", "CpModelPresolve", "CpModelProbingLevel", "CpModelUseSatPresolve", "RemoveFixedVariablesEarly", "DetectTableWithCost", "TableCompressionLevel", "ExpandAlldiffConstraints", "ExpandReservoirConstraints", "ExpandReservoirUsingCircuit", "EncodeCumulativeAsReservoir", "MaxLinMaxSizeForExpansion", "DisableConstraintExpansion", "EncodeComplexLinearConstraintWithInteger", "MergeNoOverlapWorkLimit", "MergeAtMostOneWorkLimit", "PresolveSubstitutionLevel", "PresolveExtractIntegerEnforcement", "PresolveInclusionWorkLimit", "IgnoreNames", "InferAllDiffs", "FindBigLinearOverlap", "UseSatInprocessing", "InprocessingDtimeRatio", "InprocessingProbingDtime", "InprocessingMinimizationDtime", "InprocessingMinimizationUseConflictAnalysis", "InprocessingMinimizationUseAllOrderings", "NumWorkers", "NumSearchWorkers", "NumFullSubsolvers", "Subsolvers", "ExtraSubsolvers", "IgnoreSubsolvers", "FilterSubsolvers", "SubsolverParams", "InterleaveSearch", "InterleaveBatchSize", "ShareObjectiveBounds", "ShareLevelZeroBounds", "ShareBinaryClauses", "ShareGlueClauses", "MinimizeSharedClauses", "DebugPostsolveWithFullSolver", "DebugMaxNumPresolveOperations", "DebugCrashOnBadHint", "DebugCrashIfPresolveBreaksHint", "UseOptimizationHints", "CoreMinimizationLevel", "FindMultipleCores", "CoverOptimization", "MaxSatAssumptionOrder", "MaxSatReverseAssumptionOrder", "MaxSatStratification", "PropagationLoopDetectionFactor", "UsePrecedencesInDisjunctiveConstraint", "MaxSizeToCreatePrecedenceLiteralsInDisjunctive", "UseStrongPropagationInDisjunctive", "UseDynamicPrecedenceInDisjunctive", "UseDynamicPrecedenceInCumulative", "UseOverloadCheckerInCumulative", "UseConservativeScaleOverloadChecker", "UseTimetableEdgeFindingInCumulative", "MaxNumIntervalsForTimetableEdgeFinding", "UseHardPrecedencesInCumulative", "ExploitAllPrecedences", "UseDisjunctiveConstraintInCumulative", "UseTimetablingInNoOverlap2D", "UseEnergeticReasoningInNoOverlap2D", "UseAreaEnergeticReasoningInNoOverlap2D", "UseTryEdgeReasoningInNoOverlap2D", "MaxPairsPairwiseReasoningInNoOverlap2D", "MaximumRegionsToSplitInDisconnectedNoOverlap2D", "UseDualSchedulingHeuristics", "UseAllDifferentForCircuit", "RoutingCutSubsetSizeForBinaryRelationBound", "RoutingCutSubsetSizeForTightBinaryRelationBound", "RoutingCutDpEffort", "SearchBranching", "HintConflictLimit", "RepairHint", "FixVariablesToTheirHintedValue", "UseProbingSearch", "UseExtendedProbing", "ProbingNumCombinationsLimit", "UseShavingInProbingSearch", "ShavingSearchDeterministicTime", "ShavingSearchThreshold", "UseObjectiveLbSearch", "UseObjectiveShavingSearch", "UseVariablesShavingSearch", "PseudoCostReliabilityThreshold", "OptimizeWithCore", "OptimizeWithLbTreeSearch", "SaveLpBasisInLbTreeSearch", "BinarySearchNumConflicts", "OptimizeWithMaxHs", "UseFeasibilityJump", "UseLsOnly", "FeasibilityJumpDecay", "FeasibilityJumpLinearizationLevel", "FeasibilityJumpRestartFactor", "FeasibilityJumpBatchDtime", "FeasibilityJumpVarRandomizationProbability", "FeasibilityJumpVarPerburbationRangeRatio", "FeasibilityJumpEnableRestarts", "FeasibilityJumpMaxExpandedConstraintSize", "NumViolationLs", "ViolationLsPerturbationPeriod", "ViolationLsCompoundMoveProbability", "SharedTreeNumWorkers", "UseSharedTreeSearch", "SharedTreeWorkerMinRestartsPerSubtree", "SharedTreeWorkerEnableTrailSharing", "SharedTreeWorkerEnablePhaseSharing", "SharedTreeOpenLeavesPerWorker", "SharedTreeMaxNodesPerWorker", "SharedTreeSplitStrategy", "SharedTreeBalanceTolerance", "EnumerateAllSolutions", "KeepAllFeasibleSolutionsInPresolve", "FillTightenedDomainsInResponse", "FillAdditionalSolutionsInResponse", "InstantiateAllVariables", "AutoDetectGreaterThanAtLeastOneOf", "StopAfterFirstSolution", "StopAfterPresolve", "StopAfterRootPropagation", "LnsInitialDifficulty", "LnsInitialDeterministicLimit", "UseLns", "UseLnsOnly", "SolutionPoolSize", "UseRinsLns", "UseFeasibilityPump", "UseLbRelaxLns", "LbRelaxNumWorkersThreshold", "FpRounding", "DiversifyLnsParams", "RandomizeSearch", "SearchRandomVariablePoolSize", "PushAllTasksTowardStart", "UseOptionalVariables", "UseExactLpReason", "UseCombinedNoOverlap", "AtMostOneMaxExpansionSize", "CatchSigintSignal", "UseImpliedBounds", "PolishLpSolution", "LpPrimalTolerance", "LpDualTolerance", "ConvertIntervals", "SymmetryLevel", "UseSymmetryInLp", "KeepSymmetryInPresolve", "SymmetryDetectionDeterministicTimeLimit", "NewLinearPropagation", "LinearSplitSize", "LinearizationLevel", "BooleanEncodingLevel", "MaxDomainSizeWhenEncodingEqNeqConstraints", "MaxNumCuts", "CutLevel", "OnlyAddCutsAtLevelZero", "AddObjectiveCut", "AddCgCuts", "AddMirCuts", "AddZeroHalfCuts", "AddCliqueCuts", "AddRltCuts", "MaxAllDiffCutSize", "AddLinMaxCuts", "MaxIntegerRoundingScaling", "AddLpConstraintsLazily", "RootLpIterations", "MinOrthogonalityForLpConstraints", "MaxCutRoundsAtLevelZero", "MaxConsecutiveInactiveCount", "CutMaxActiveCountValue", "CutActiveCountDecay", "CutCleanupTarget", "NewConstraintsBatchSize", "ExploitIntegerLpSolution", "ExploitAllLpSolution", "ExploitBestSolution", "ExploitRelaxationSolution", "ExploitObjective", "DetectLinearizedProduct", "MipMaxBound", "MipVarScaling", "MipScaleLargeDomain", "MipAutomaticallyScaleVariables", "OnlySolveIp", "MipWantedPrecision", "MipMaxActivityExponent", "MipCheckPrecision", "MipComputeTrueObjectiveBound", "MipMaxValidMagnitude", "MipTreatHighMagnitudeBoundsAsInfinity", "MipDropTolerance", "MipPresolveLevel", });
    descriptor.resolveAllFeaturesImmutable();
  }
 
  // @@protoc_insertion_point(outer_class_scope)
}