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.31.1
 
package com.google.ortools.sat;
 
@com.google.protobuf.Generated
public final class SatParametersOuterClass {
  private SatParametersOuterClass() {}
  static {
    com.google.protobuf.RuntimeVersion.validateProtobufGencodeVersion(
      com.google.protobuf.RuntimeVersion.RuntimeDomain.PUBLIC,
      /* major= */ 4,
      /* minor= */ 31,
      /* patch= */ 1,
      /* 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\"\241m\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\034filter_" +
      "sat_postsolve_clauses\030\304\002 \001(\010:\005false\022%\n\032p" +
      "resolve_bve_clause_weight\0307 \001(\005:\0013\022,\n pr" +
      "obing_deterministic_time_limit\030\342\001 \001(\001:\0011" +
      "\0225\n)presolve_probing_deterministic_time_" +
      "limit\0309 \001(\001:\00230\022%\n\027presolve_blocked_clau" +
      "se\030X \001(\010:\004true\022\036\n\020presolve_use_bva\030H \001(\010" +
      ":\004true\022!\n\026presolve_bva_threshold\030I \001(\005:\001" +
      "1\022#\n\027max_presolve_iterations\030\212\001 \001(\005:\0013\022\037" +
      "\n\021cp_model_presolve\030V \001(\010:\004true\022!\n\026cp_mo" +
      "del_probing_level\030n \001(\005:\0012\022\'\n\031cp_model_u" +
      "se_sat_presolve\030] \001(\010:\004true\022+\n\034remove_fi" +
      "xed_variables_early\030\266\002 \001(\010:\004true\022&\n\026dete" +
      "ct_table_with_cost\030\330\001 \001(\010:\005false\022#\n\027tabl" +
      "e_compression_level\030\331\001 \001(\005:\0012\022*\n\032expand_" +
      "alldiff_constraints\030\252\001 \001(\010:\005false\022%\n\027max" +
      "_alldiff_domain_size\030\300\002 \001(\005:\003256\022+\n\034expa" +
      "nd_reservoir_constraints\030\266\001 \001(\010:\004true\022.\n" +
      "\036expand_reservoir_using_circuit\030\240\002 \001(\010:\005" +
      "false\022.\n\036encode_cumulative_as_reservoir\030" +
      "\237\002 \001(\010:\005false\022*\n\036max_lin_max_size_for_ex" +
      "pansion\030\230\002 \001(\005:\0010\022,\n\034disable_constraint_" +
      "expansion\030\265\001 \001(\010:\005false\022=\n-encode_comple" +
      "x_linear_constraint_with_integer\030\337\001 \001(\010:" +
      "\005false\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\033presolv" +
      "e_substitution_level\030\223\001 \001(\005:\0011\0224\n$presol" +
      "ve_extract_integer_enforcement\030\256\001 \001(\010:\005f" +
      "alse\0221\n\035presolve_inclusion_work_limit\030\311\001" +
      " \001(\003:\t100000000\022\033\n\014ignore_names\030\312\001 \001(\010:\004" +
      "true\022\036\n\017infer_all_diffs\030\351\001 \001(\010:\004true\022&\n\027" +
      "find_big_linear_overlap\030\352\001 \001(\010:\004true\022#\n\024" +
      "use_sat_inprocessing\030\243\001 \001(\010:\004true\022&\n\030inp" +
      "rocessing_dtime_ratio\030\221\002 \001(\001:\0030.2\022&\n\032inp" +
      "rocessing_probing_dtime\030\222\002 \001(\001:\0011\022+\n\037inp" +
      "rocessing_minimization_dtime\030\223\002 \001(\001:\0011\022>" +
      "\n/inprocessing_minimization_use_conflict" +
      "_analysis\030\251\002 \001(\010:\004true\022;\n+inprocessing_m" +
      "inimization_use_all_orderings\030\252\002 \001(\010:\005fa" +
      "lse\022\027\n\013num_workers\030\316\001 \001(\005:\0010\022\035\n\022num_sear" +
      "ch_workers\030d \001(\005:\0010\022\037\n\023num_full_subsolve" +
      "rs\030\246\002 \001(\005:\0010\022\023\n\nsubsolvers\030\317\001 \003(\t\022\031\n\020ext" +
      "ra_subsolvers\030\333\001 \003(\t\022\032\n\021ignore_subsolver" +
      "s\030\321\001 \003(\t\022\032\n\021filter_subsolvers\030\245\002 \003(\t\022A\n\020" +
      "subsolver_params\030\322\001 \003(\0132&.operations_res" +
      "earch.sat.SatParameters\022!\n\021interleave_se" +
      "arch\030\210\001 \001(\010:\005false\022!\n\025interleave_batch_s" +
      "ize\030\206\001 \001(\005:\0010\022$\n\026share_objective_bounds\030" +
      "q \001(\010:\004true\022%\n\027share_level_zero_bounds\030r" +
      " \001(\010:\004true\022#\n\024share_binary_clauses\030\313\001 \001(" +
      "\010:\004true\022\"\n\022share_glue_clauses\030\235\002 \001(\010:\005fa" +
      "lse\022&\n\027minimize_shared_clauses\030\254\002 \001(\010:\004t" +
      "rue\022$\n\030share_glue_clauses_dtime\030\302\002 \001(\001:\001" +
      "1\0220\n debug_postsolve_with_full_solver\030\242\001" +
      " \001(\010:\005false\022-\n!debug_max_num_presolve_op" +
      "erations\030\227\001 \001(\005:\0010\022\'\n\027debug_crash_on_bad" +
      "_hint\030\303\001 \001(\010:\005false\0223\n#debug_crash_if_pr" +
      "esolve_breaks_hint\030\262\002 \001(\010:\005false\022$\n\026use_" +
      "optimization_hints\030# \001(\010:\004true\022\"\n\027core_m" +
      "inimization_level\0302 \001(\005:\0012\022!\n\023find_multi" +
      "ple_cores\030T \001(\010:\004true\022 \n\022cover_optimizat" +
      "ion\030Y \001(\010:\004true\022x\n\030max_sat_assumption_or" +
      "der\0303 \001(\0162<.operations_research.sat.SatP" +
      "arameters.MaxSatAssumptionOrder:\030DEFAULT" +
      "_ASSUMPTION_ORDER\022/\n max_sat_reverse_ass" +
      "umption_order\0304 \001(\010:\005false\022|\n\026max_sat_st" +
      "ratification\0305 \001(\0162D.operations_research" +
      ".sat.SatParameters.MaxSatStratificationA" +
      "lgorithm:\026STRATIFICATION_DESCENT\022.\n!prop" +
      "agation_loop_detection_factor\030\335\001 \001(\001:\00210" +
      "\0227\n)use_precedences_in_disjunctive_const" +
      "raint\030J \001(\010:\004true\022B\n5max_size_to_create_" +
      "precedence_literals_in_disjunctive\030\345\001 \001(" +
      "\005:\00260\0225\n%use_strong_propagation_in_disju" +
      "nctive\030\346\001 \001(\010:\005false\0225\n%use_dynamic_prec" +
      "edence_in_disjunctive\030\207\002 \001(\010:\005false\0224\n$u" +
      "se_dynamic_precedence_in_cumulative\030\214\002 \001" +
      "(\010:\005false\0221\n\"use_overload_checker_in_cum" +
      "ulative\030N \001(\010:\005false\0227\n\'use_conservative" +
      "_scale_overload_checker\030\236\002 \001(\010:\005false\0227\n" +
      "(use_timetable_edge_finding_in_cumulativ" +
      "e\030O \001(\010:\005false\022:\n,max_num_intervals_for_" +
      "timetable_edge_finding\030\204\002 \001(\005:\003100\0222\n\"us" +
      "e_hard_precedences_in_cumulative\030\327\001 \001(\010:" +
      "\005false\022\'\n\027exploit_all_precedences\030\334\001 \001(\010" +
      ":\005false\0226\n(use_disjunctive_constraint_in" +
      "_cumulative\030P \001(\010:\004true\0222\n%no_overlap_2d" +
      "_boolean_relations_limit\030\301\002 \001(\005:\00210\0220\n u" +
      "se_timetabling_in_no_overlap_2d\030\310\001 \001(\010:\005" +
      "false\0228\n(use_energetic_reasoning_in_no_o" +
      "verlap_2d\030\325\001 \001(\010:\005false\022=\n-use_area_ener" +
      "getic_reasoning_in_no_overlap_2d\030\217\002 \001(\010:" +
      "\005false\0227\n\'use_try_edge_reasoning_in_no_o" +
      "verlap_2d\030\253\002 \001(\010:\005false\022<\n-max_pairs_pai" +
      "rwise_reasoning_in_no_overlap_2d\030\224\002 \001(\005:" +
      "\0041250\022B\n6maximum_regions_to_split_in_dis" +
      "connected_no_overlap_2d\030\273\002 \001(\005:\0010\0228\n)use" +
      "_linear3_for_no_overlap_2d_precedences\030\303" +
      "\002 \001(\010:\004true\022-\n\036use_dual_scheduling_heuri" +
      "stics\030\326\001 \001(\010:\004true\022-\n\035use_all_different_" +
      "for_circuit\030\267\002 \001(\010:\005false\022=\n1routing_cut" +
      "_subset_size_for_binary_relation_bound\030\270" +
      "\002 \001(\005:\0010\022C\n7routing_cut_subset_size_for_" +
      "tight_binary_relation_bound\030\271\002 \001(\005:\0010\022C\n" +
      "7routing_cut_subset_size_for_exact_binar" +
      "y_relation_bound\030\274\002 \001(\005:\0018\022<\n0routing_cu" +
      "t_subset_size_for_shortest_paths_bound\030\276" +
      "\002 \001(\005:\0018\022(\n\025routing_cut_dp_effort\030\272\002 \001(\001" +
      ":\01010000000\0222\n&routing_cut_max_infeasible" +
      "_path_length\030\275\002 \001(\005:\0016\022b\n\020search_branchi" +
      "ng\030R \001(\01626.operations_research.sat.SatPa" +
      "rameters.SearchBranching:\020AUTOMATIC_SEAR" +
      "CH\022 \n\023hint_conflict_limit\030\231\001 \001(\005:\00210\022\033\n\013" +
      "repair_hint\030\247\001 \001(\010:\005false\0223\n#fix_variabl" +
      "es_to_their_hinted_value\030\300\001 \001(\010:\005false\022\"" +
      "\n\022use_probing_search\030\260\001 \001(\010:\005false\022#\n\024us" +
      "e_extended_probing\030\215\002 \001(\010:\004true\022.\n\036probi" +
      "ng_num_combinations_limit\030\220\002 \001(\005:\00520000\022" +
      "<\n,shaving_deterministic_time_in_probing" +
      "_search\030\314\001 \001(\001:\0050.001\022/\n!shaving_search_" +
      "deterministic_time\030\315\001 \001(\001:\0030.1\022%\n\030shavin" +
      "g_search_threshold\030\242\002 \001(\003:\00264\022\'\n\027use_obj" +
      "ective_lb_search\030\344\001 \001(\010:\005false\022,\n\034use_ob" +
      "jective_shaving_search\030\375\001 \001(\010:\005false\022$\n\027" +
      "variables_shaving_level\030\241\002 \001(\005:\002-1\022.\n!ps" +
      "eudo_cost_reliability_threshold\030{ \001(\003:\0031" +
      "00\022!\n\022optimize_with_core\030S \001(\010:\005false\022,\n" +
      "\034optimize_with_lb_tree_search\030\274\001 \001(\010:\005fa" +
      "lse\022/\n\037save_lp_basis_in_lb_tree_search\030\234" +
      "\002 \001(\010:\005false\022\'\n\033binary_search_num_confli" +
      "cts\030c \001(\005:\002-1\022#\n\024optimize_with_max_hs\030U " +
      "\001(\010:\005false\022#\n\024use_feasibility_jump\030\211\002 \001(" +
      "\010:\004true\022\033\n\013use_ls_only\030\360\001 \001(\010:\005false\022%\n\026" +
      "feasibility_jump_decay\030\362\001 \001(\001:\0040.95\0220\n$f" +
      "easibility_jump_linearization_level\030\201\002 \001" +
      "(\005:\0012\022+\n\037feasibility_jump_restart_factor" +
      "\030\202\002 \001(\005:\0011\022*\n\034feasibility_jump_batch_dti" +
      "me\030\244\002 \001(\001:\0030.1\022=\n.feasibility_jump_var_r" +
      "andomization_probability\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_e" +
      "nable_restarts\030\372\001 \001(\010:\004true\022;\n-feasibili" +
      "ty_jump_max_expanded_constraint_size\030\210\002 " +
      "\001(\005:\003500\022\034\n\020num_violation_ls\030\364\001 \001(\005:\0010\022." +
      "\n violation_ls_perturbation_period\030\371\001 \001(" +
      "\005:\003100\0224\n&violation_ls_compound_move_pro" +
      "bability\030\203\002 \001(\001:\0030.5\022#\n\027shared_tree_num_" +
      "workers\030\353\001 \001(\005:\0010\022&\n\026use_shared_tree_sea" +
      "rch\030\354\001 \001(\010:\005false\0227\n+shared_tree_worker_" +
      "min_restarts_per_subtree\030\232\002 \001(\005:\0011\0226\n\'sh" +
      "ared_tree_worker_enable_trail_sharing\030\247\002" +
      " \001(\010:\004true\0226\n\'shared_tree_worker_enable_" +
      "phase_sharing\030\260\002 \001(\010:\004true\022.\n\"shared_tre" +
      "e_open_leaves_per_worker\030\231\002 \001(\001:\0012\0220\n sh" +
      "ared_tree_max_nodes_per_worker\030\356\001 \001(\005:\0051" +
      "0000\022x\n\032shared_tree_split_strategy\030\357\001 \001(" +
      "\0162>.operations_research.sat.SatParameter" +
      "s.SharedTreeSplitStrategy:\023SPLIT_STRATEG" +
      "Y_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:\005false\0222\n\"fill_tight" +
      "ened_domains_in_response\030\204\001 \001(\010:\005false\0225" +
      "\n%fill_additional_solutions_in_response\030" +
      "\302\001 \001(\010:\005false\022\'\n\031instantiate_all_variabl" +
      "es\030j \001(\010:\004true\0226\n(auto_detect_greater_th" +
      "an_at_least_one_of\030_ \001(\010:\004true\022(\n\031stop_a" +
      "fter_first_solution\030b \001(\010:\005false\022#\n\023stop" +
      "_after_presolve\030\225\001 \001(\010:\005false\022+\n\033stop_af" +
      "ter_root_propagation\030\374\001 \001(\010:\005false\022$\n\026ln" +
      "s_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:\004true\022\033\n\014use_lns_only\030" +
      "e \001(\010:\005false\022\036\n\022solution_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:\004true\022+\n\036lb_relax_num_" +
      "workers_threshold\030\250\002 \001(\005:\00216\022c\n\013fp_round" +
      "ing\030\245\001 \001(\01627.operations_research.sat.Sat" +
      "Parameters.FPRoundingMethod:\024PROPAGATION" +
      "_ASSISTED\022$\n\024diversify_lns_params\030\211\001 \001(\010" +
      ":\005false\022\037\n\020randomize_search\030g \001(\010:\005false" +
      "\022+\n search_random_variable_pool_size\030h \001" +
      "(\003:\0010\022+\n\033push_all_tasks_toward_start\030\206\002 " +
      "\001(\010:\005false\022%\n\026use_optional_variables\030l \001" +
      "(\010:\005false\022!\n\023use_exact_lp_reason\030m \001(\010:\004" +
      "true\022\'\n\027use_combined_no_overlap\030\205\001 \001(\010:\005" +
      "false\022*\n\036at_most_one_max_expansion_size\030" +
      "\216\002 \001(\005:\0013\022\"\n\023catch_sigint_signal\030\207\001 \001(\010:" +
      "\004true\022!\n\022use_implied_bounds\030\220\001 \001(\010:\004true" +
      "\022\"\n\022polish_lp_solution\030\257\001 \001(\010:\005false\022#\n\023" +
      "lp_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_symmetry_in_lp\030\255\002 \001(\010:" +
      "\005false\022)\n\031keep_symmetry_in_presolve\030\257\002 \001" +
      "(\010:\005false\0227\n+symmetry_detection_determin" +
      "istic_time_limit\030\256\002 \001(\001:\0011\022%\n\026new_linear" +
      "_propagation\030\340\001 \001(\010:\004true\022\037\n\021linear_spli" +
      "t_size\030\200\002 \001(\005:\003100\022\036\n\023linearization_leve" +
      "l\030Z \001(\005:\0011\022!\n\026boolean_encoding_level\030k \001" +
      "(\005:\0011\022=\n0max_domain_size_when_encoding_e" +
      "q_neq_constraints\030\277\001 \001(\005:\00216\022\033\n\014max_num_" +
      "cuts\030[ \001(\005:\00510000\022\025\n\tcut_level\030\304\001 \001(\005:\0011" +
      "\022*\n\033only_add_cuts_at_level_zero\030\\ \001(\010:\005f" +
      "alse\022!\n\021add_objective_cut\030\305\001 \001(\010:\005false\022" +
      "\031\n\013add_cg_cuts\030u \001(\010:\004true\022\032\n\014add_mir_cu" +
      "ts\030x \001(\010:\004true\022!\n\022add_zero_half_cuts\030\251\001 " +
      "\001(\010:\004true\022\036\n\017add_clique_cuts\030\254\001 \001(\010:\004tru" +
      "e\022\033\n\014add_rlt_cuts\030\227\002 \001(\010:\004true\022\"\n\025max_al" +
      "l_diff_cut_size\030\224\001 \001(\005:\00264\022\037\n\020add_lin_ma" +
      "x_cuts\030\230\001 \001(\010:\004true\022)\n\034max_integer_round" +
      "ing_scaling\030w \001(\005:\003600\022\'\n\031add_lp_constra" +
      "ints_lazily\030p \001(\010:\004true\022!\n\022root_lp_itera" +
      "tions\030\343\001 \001(\005:\0042000\0222\n$min_orthogonality_" +
      "for_lp_constraints\030s \001(\001:\0040.05\022(\n\034max_cu" +
      "t_rounds_at_level_zero\030\232\001 \001(\005:\0011\022+\n\036max_" +
      "consecutive_inactive_count\030y \001(\005:\003100\0220\n" +
      "\032cut_max_active_count_value\030\233\001 \001(\001:\0131000" +
      "0000000\022$\n\026cut_active_count_decay\030\234\001 \001(\001" +
      ":\0030.8\022!\n\022cut_cleanup_target\030\235\001 \001(\005:\0041000" +
      "\022&\n\032new_constraints_batch_size\030z \001(\005:\00250" +
      "\022)\n\033exploit_integer_lp_solution\030^ \001(\010:\004t" +
      "rue\022%\n\027exploit_all_lp_solution\030t \001(\010:\004tr" +
      "ue\022%\n\025exploit_best_solution\030\202\001 \001(\010:\005fals" +
      "e\022+\n\033exploit_relaxation_solution\030\241\001 \001(\010:" +
      "\005false\022 \n\021exploit_objective\030\203\001 \001(\010:\004true" +
      "\022)\n\031detect_linearized_product\030\225\002 \001(\010:\005fa" +
      "lse\022\037\n\rmip_max_bound\030| \001(\001:\01010000000\022\032\n\017" +
      "mip_var_scaling\030} \001(\001:\0011\022&\n\026mip_scale_la" +
      "rge_domain\030\341\001 \001(\010:\005false\0220\n!mip_automati" +
      "cally_scale_variables\030\246\001 \001(\010:\004true\022\035\n\ron" +
      "ly_solve_ip\030\336\001 \001(\010:\005false\022#\n\024mip_wanted_" +
      "precision\030~ \001(\001:\0051e-06\022%\n\031mip_max_activi" +
      "ty_exponent\030\177 \001(\005:\00253\022$\n\023mip_check_preci" +
      "sion\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_tre" +
      "at_high_magnitude_bounds_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_REVE" +
      "RSE_ORDER\020\001\022\023\n\017IN_RANDOM_ORDER\020\002\"F\n\010Pola" +
      "rity\022\021\n\rPOLARITY_TRUE\020\000\022\022\n\016POLARITY_FALS" +
      "E\020\001\022\023\n\017POLARITY_RANDOM\020\002\"V\n\035ConflictMini" +
      "mizationAlgorithm\022\010\n\004NONE\020\000\022\n\n\006SIMPLE\020\001\022" +
      "\r\n\tRECURSIVE\020\002\022\020\n\014EXPERIMENTAL\020\003\"\340\001\n\031Bin" +
      "aryMinizationAlgorithm\022\032\n\026NO_BINARY_MINI" +
      "MIZATION\020\000\022\035\n\031BINARY_MINIMIZATION_FIRST\020" +
      "\001\0227\n3BINARY_MINIMIZATION_FIRST_WITH_TRAN" +
      "SITIVE_REDUCTION\020\004\022)\n%BINARY_MINIMIZATIO" +
      "N_WITH_REACHABILITY\020\002\022$\n EXPERIMENTAL_BI" +
      "NARY_MINIMIZATION\020\003\"R\n\020ClauseProtection\022" +
      "\023\n\017PROTECTION_NONE\020\000\022\025\n\021PROTECTION_ALWAY" +
      "S\020\001\022\022\n\016PROTECTION_LBD\020\002\"5\n\016ClauseOrderin" +
      "g\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\014L" +
      "UBY_RESTART\020\001\022\035\n\031DL_MOVING_AVERAGE_RESTA" +
      "RT\020\002\022\036\n\032LBD_MOVING_AVERAGE_RESTART\020\003\022\021\n\r" +
      "FIXED_RESTART\020\004\"t\n\025MaxSatAssumptionOrder" +
      "\022\034\n\030DEFAULT_ASSUMPTION_ORDER\020\000\022\035\n\031ORDER_" +
      "ASSUMPTION_BY_DEPTH\020\001\022\036\n\032ORDER_ASSUMPTIO" +
      "N_BY_WEIGHT\020\002\"o\n\035MaxSatStratificationAlg" +
      "orithm\022\027\n\023STRATIFICATION_NONE\020\000\022\032\n\026STRAT" +
      "IFICATION_DESCENT\020\001\022\031\n\025STRATIFICATION_AS" +
      "CENT\020\002\"\341\001\n\017SearchBranching\022\024\n\020AUTOMATIC_" +
      "SEARCH\020\000\022\020\n\014FIXED_SEARCH\020\001\022\024\n\020PORTFOLIO_" +
      "SEARCH\020\002\022\r\n\tLP_SEARCH\020\003\022\026\n\022PSEUDO_COST_S" +
      "EARCH\020\004\022\'\n#PORTFOLIO_WITH_QUICK_RESTART_" +
      "SEARCH\020\005\022\017\n\013HINT_SEARCH\020\006\022\030\n\024PARTIAL_FIX" +
      "ED_SEARCH\020\007\022\025\n\021RANDOMIZED_SEARCH\020\010\"\270\001\n\027S" +
      "haredTreeSplitStrategy\022\027\n\023SPLIT_STRATEGY" +
      "_AUTO\020\000\022\036\n\032SPLIT_STRATEGY_DISCREPANCY\020\001\022" +
      "\037\n\033SPLIT_STRATEGY_OBJECTIVE_LB\020\002\022 \n\034SPLI" +
      "T_STRATEGY_BALANCED_TREE\020\003\022!\n\035SPLIT_STRA" +
      "TEGY_FIRST_PROPOSAL\020\004\"h\n\020FPRoundingMetho" +
      "d\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_ASS" +
      "ISTED\020\002Bk\n\026com.google.ortools.satP\001Z:git" +
      "hub.com/google/or-tools/ortools/sat/prot" +
      "o/satparameters\252\002\022Google.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", "FilterSatPostsolveClauses", "PresolveBveClauseWeight", "ProbingDeterministicTimeLimit", "PresolveProbingDeterministicTimeLimit", "PresolveBlockedClause", "PresolveUseBva", "PresolveBvaThreshold", "MaxPresolveIterations", "CpModelPresolve", "CpModelProbingLevel", "CpModelUseSatPresolve", "RemoveFixedVariablesEarly", "DetectTableWithCost", "TableCompressionLevel", "ExpandAlldiffConstraints", "MaxAlldiffDomainSize", "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", "ShareGlueClausesDtime", "DebugPostsolveWithFullSolver", "DebugMaxNumPresolveOperations", "DebugCrashOnBadHint", "DebugCrashIfPresolveBreaksHint", "UseOptimizationHints", "CoreMinimizationLevel", "FindMultipleCores", "CoverOptimization", "MaxSatAssumptionOrder", "MaxSatReverseAssumptionOrder", "MaxSatStratification", "PropagationLoopDetectionFactor", "UsePrecedencesInDisjunctiveConstraint", "MaxSizeToCreatePrecedenceLiteralsInDisjunctive", "UseStrongPropagationInDisjunctive", "UseDynamicPrecedenceInDisjunctive", "UseDynamicPrecedenceInCumulative", "UseOverloadCheckerInCumulative", "UseConservativeScaleOverloadChecker", "UseTimetableEdgeFindingInCumulative", "MaxNumIntervalsForTimetableEdgeFinding", "UseHardPrecedencesInCumulative", "ExploitAllPrecedences", "UseDisjunctiveConstraintInCumulative", "NoOverlap2DBooleanRelationsLimit", "UseTimetablingInNoOverlap2D", "UseEnergeticReasoningInNoOverlap2D", "UseAreaEnergeticReasoningInNoOverlap2D", "UseTryEdgeReasoningInNoOverlap2D", "MaxPairsPairwiseReasoningInNoOverlap2D", "MaximumRegionsToSplitInDisconnectedNoOverlap2D", "UseLinear3ForNoOverlap2DPrecedences", "UseDualSchedulingHeuristics", "UseAllDifferentForCircuit", "RoutingCutSubsetSizeForBinaryRelationBound", "RoutingCutSubsetSizeForTightBinaryRelationBound", "RoutingCutSubsetSizeForExactBinaryRelationBound", "RoutingCutSubsetSizeForShortestPathsBound", "RoutingCutDpEffort", "RoutingCutMaxInfeasiblePathLength", "SearchBranching", "HintConflictLimit", "RepairHint", "FixVariablesToTheirHintedValue", "UseProbingSearch", "UseExtendedProbing", "ProbingNumCombinationsLimit", "ShavingDeterministicTimeInProbingSearch", "ShavingSearchDeterministicTime", "ShavingSearchThreshold", "UseObjectiveLbSearch", "UseObjectiveShavingSearch", "VariablesShavingLevel", "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)
}