# -*- coding: utf-8 -*- # Generated by the protocol buffer compiler. DO NOT EDIT! # source: ortools/sat/sat_parameters.proto """Generated protocol buffer code.""" from google.protobuf import descriptor as _descriptor from google.protobuf import message as _message from google.protobuf import reflection as _reflection from google.protobuf import symbol_database as _symbol_database # @@protoc_insertion_point(imports) _sym_db = _symbol_database.Default() DESCRIPTOR = _descriptor.FileDescriptor( name='ortools/sat/sat_parameters.proto', package='operations_research.sat', syntax='proto2', serialized_options=b'\n\026com.google.ortools.satP\001', create_key=_descriptor._internal_create_key, serialized_pb=b'\n ortools/sat/sat_parameters.proto\x12\x17operations_research.sat\"\xce@\n\rSatParameters\x12\x0f\n\x04name\x18\xab\x01 \x01(\t:\x00\x12`\n\x18preferred_variable_order\x18\x01 \x01(\x0e\x32\x34.operations_research.sat.SatParameters.VariableOrder:\x08IN_ORDER\x12Y\n\x10initial_polarity\x18\x02 \x01(\x0e\x32/.operations_research.sat.SatParameters.Polarity:\x0ePOLARITY_FALSE\x12\x1e\n\x10use_phase_saving\x18, \x01(\x08:\x04true\x12)\n\x1apolarity_rephase_increment\x18\xa8\x01 \x01(\x05:\x04\x31\x30\x30\x30\x12 \n\x15random_polarity_ratio\x18- \x01(\x01:\x01\x30\x12 \n\x15random_branches_ratio\x18 \x01(\x01:\x01\x30\x12!\n\x12use_erwa_heuristic\x18K \x01(\x08:\x05\x66\x61lse\x12%\n\x1ainitial_variables_activity\x18L \x01(\x01:\x01\x30\x12\x36\n\'also_bump_variables_in_conflict_reasons\x18M \x01(\x08:\x05\x66\x61lse\x12o\n\x16minimization_algorithm\x18\x04 \x01(\x0e\x32\x44.operations_research.sat.SatParameters.ConflictMinimizationAlgorithm:\tRECURSIVE\x12\x82\x01\n\x1d\x62inary_minimization_algorithm\x18\" \x01(\x0e\x32@.operations_research.sat.SatParameters.BinaryMinizationAlgorithm:\x19\x42INARY_MINIMIZATION_FIRST\x12\x32\n$subsumption_during_conflict_analysis\x18\x38 \x01(\x08:\x04true\x12$\n\x15\x63lause_cleanup_period\x18\x0b \x01(\x05:\x05\x31\x30\x30\x30\x30\x12$\n\x15\x63lause_cleanup_target\x18\r \x01(\x05:\x05\x31\x30\x30\x30\x30\x12k\n\x19\x63lause_cleanup_protection\x18: \x01(\x0e\x32\x37.operations_research.sat.SatParameters.ClauseProtection:\x0fPROTECTION_NONE\x12#\n\x18\x63lause_cleanup_lbd_bound\x18; \x01(\x05:\x01\x35\x12g\n\x17\x63lause_cleanup_ordering\x18< \x01(\x0e\x32\x35.operations_research.sat.SatParameters.ClauseOrdering:\x0f\x43LAUSE_ACTIVITY\x12!\n\x14pb_cleanup_increment\x18. \x01(\x05:\x03\x32\x30\x30\x12\x1d\n\x10pb_cleanup_ratio\x18/ \x01(\x01:\x03\x30.5\x12\x34\n(minimize_with_propagation_restart_period\x18` \x01(\x05:\x02\x31\x30\x12\x35\n\'minimize_with_propagation_num_decisions\x18\x61 \x01(\x05:\x04\x31\x30\x30\x30\x12$\n\x17variable_activity_decay\x18\x0f \x01(\x01:\x03\x30.8\x12+\n\x1bmax_variable_activity_value\x18\x10 \x01(\x01:\x06\x31\x65+100\x12\x1f\n\x11glucose_max_decay\x18\x16 \x01(\x01:\x04\x30.95\x12%\n\x17glucose_decay_increment\x18\x17 \x01(\x01:\x04\x30.01\x12,\n\x1eglucose_decay_increment_period\x18\x18 \x01(\x05:\x04\x35\x30\x30\x30\x12$\n\x15\x63lause_activity_decay\x18\x11 \x01(\x01:\x05\x30.999\x12(\n\x19max_clause_activity_value\x18\x12 \x01(\x01:\x05\x31\x65+20\x12S\n\x12restart_algorithms\x18= \x03(\x0e\x32\x37.operations_research.sat.SatParameters.RestartAlgorithm\x12\x65\n\x1a\x64\x65\x66\x61ult_restart_algorithms\x18\x46 \x01(\t:ALUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART\x12\x1a\n\x0erestart_period\x18\x1e \x01(\x05:\x02\x35\x30\x12\'\n\x1brestart_running_window_size\x18> \x01(\x05:\x02\x35\x30\x12#\n\x18restart_dl_average_ratio\x18? \x01(\x01:\x01\x31\x12$\n\x19restart_lbd_average_ratio\x18G \x01(\x01:\x01\x31\x12#\n\x14use_blocking_restart\x18@ \x01(\x08:\x05\x66\x61lse\x12*\n\x1c\x62locking_restart_window_size\x18\x41 \x01(\x05:\x04\x35\x30\x30\x30\x12(\n\x1b\x62locking_restart_multiplier\x18\x42 \x01(\x01:\x03\x31.4\x12\x30\n%num_conflicts_before_strategy_changes\x18\x44 \x01(\x05:\x01\x30\x12)\n\x1estrategy_change_increase_ratio\x18\x45 \x01(\x01:\x01\x30\x12 \n\x13max_time_in_seconds\x18$ \x01(\x01:\x03inf\x12#\n\x16max_deterministic_time\x18\x43 \x01(\x01:\x03inf\x12\x34\n\x17max_number_of_conflicts\x18% \x01(\x03:\x13\x39\x32\x32\x33\x33\x37\x32\x30\x33\x36\x38\x35\x34\x37\x37\x35\x38\x30\x37\x12\x1f\n\x10max_memory_in_mb\x18( \x01(\x03:\x05\x31\x30\x30\x30\x30\x12\x1e\n\x12\x61\x62solute_gap_limit\x18\x9f\x01 \x01(\x01:\x01\x30\x12\x1e\n\x12relative_gap_limit\x18\xa0\x01 \x01(\x01:\x01\x30\x12-\n\x1ftreat_binary_clauses_separately\x18! \x01(\x08:\x04true\x12\x16\n\x0brandom_seed\x18\x1f \x01(\x05:\x01\x31\x12\"\n\x13log_search_progress\x18) \x01(\x08:\x05\x66\x61lse\x12 \n\x11use_pb_resolution\x18+ \x01(\x08:\x05\x66\x61lse\x12\x36\n\'minimize_reduction_during_pb_resolution\x18\x30 \x01(\x08:\x05\x66\x61lse\x12,\n\x1e\x63ount_assumption_levels_in_lbd\x18\x31 \x01(\x08:\x04true\x12#\n\x16presolve_bve_threshold\x18\x36 \x01(\x05:\x03\x35\x30\x30\x12%\n\x1apresolve_bve_clause_weight\x18\x37 \x01(\x05:\x01\x33\x12\x35\n)presolve_probing_deterministic_time_limit\x18\x39 \x01(\x01:\x02\x33\x30\x12%\n\x17presolve_blocked_clause\x18X \x01(\x08:\x04true\x12\x1e\n\x10presolve_use_bva\x18H \x01(\x08:\x04true\x12!\n\x16presolve_bva_threshold\x18I \x01(\x05:\x01\x31\x12#\n\x17max_presolve_iterations\x18\x8a\x01 \x01(\x05:\x01\x33\x12\x1f\n\x11\x63p_model_presolve\x18V \x01(\x08:\x04true\x12\x33\n#cp_model_postsolve_with_full_solver\x18\xa2\x01 \x01(\x08:\x05\x66\x61lse\x12\x30\n$cp_model_max_num_presolve_operations\x18\x97\x01 \x01(\x05:\x01\x30\x12!\n\x16\x63p_model_probing_level\x18n \x01(\x05:\x01\x32\x12\'\n\x19\x63p_model_use_sat_presolve\x18] \x01(\x08:\x04true\x12$\n\x14use_sat_inprocessing\x18\xa3\x01 \x01(\x08:\x05\x66\x61lse\x12)\n\x1a\x65xpand_element_constraints\x18\x8c\x01 \x01(\x08:\x04true\x12+\n\x1c\x65xpand_automaton_constraints\x18\x8f\x01 \x01(\x08:\x04true\x12\'\n\x18\x65xpand_table_constraints\x18\x9e\x01 \x01(\x08:\x04true\x12*\n\x1a\x65xpand_alldiff_constraints\x18\xaa\x01 \x01(\x08:\x05\x66\x61lse\x12\x33\n\x1bmerge_no_overlap_work_limit\x18\x91\x01 \x01(\x01:\r1000000000000\x12\x30\n\x1cmerge_at_most_one_work_limit\x18\x92\x01 \x01(\x01:\t100000000\x12\'\n\x1bpresolve_substitution_level\x18\x93\x01 \x01(\x05:\x01\x31\x12\x34\n$presolve_extract_integer_enforcement\x18\xae\x01 \x01(\x08:\x05\x66\x61lse\x12$\n\x16use_optimization_hints\x18# \x01(\x08:\x04true\x12\x1b\n\rminimize_core\x18\x32 \x01(\x08:\x04true\x12!\n\x13\x66ind_multiple_cores\x18T \x01(\x08:\x04true\x12 \n\x12\x63over_optimization\x18Y \x01(\x08:\x04true\x12x\n\x18max_sat_assumption_order\x18\x33 \x01(\x0e\x32<.operations_research.sat.SatParameters.MaxSatAssumptionOrder:\x18\x44\x45\x46\x41ULT_ASSUMPTION_ORDER\x12/\n max_sat_reverse_assumption_order\x18\x34 \x01(\x08:\x05\x66\x61lse\x12|\n\x16max_sat_stratification\x18\x35 \x01(\x0e\x32\x44.operations_research.sat.SatParameters.MaxSatStratificationAlgorithm:\x16STRATIFICATION_DESCENT\x12\x37\n)use_precedences_in_disjunctive_constraint\x18J \x01(\x08:\x04true\x12<\n-use_overload_checker_in_cumulative_constraint\x18N \x01(\x08:\x05\x66\x61lse\x12\x42\n3use_timetable_edge_finding_in_cumulative_constraint\x18O \x01(\x08:\x05\x66\x61lse\x12\x41\n3use_disjunctive_constraint_in_cumulative_constraint\x18P \x01(\x08:\x04true\x12\x1e\n\x13linearization_level\x18Z \x01(\x05:\x01\x31\x12!\n\x16\x62oolean_encoding_level\x18k \x01(\x05:\x01\x31\x12\x1b\n\x0cmax_num_cuts\x18[ \x01(\x05:\x05\x31\x30\x30\x30\x30\x12*\n\x1bonly_add_cuts_at_level_zero\x18\\ \x01(\x08:\x05\x66\x61lse\x12 \n\x11\x61\x64\x64_knapsack_cuts\x18o \x01(\x08:\x05\x66\x61lse\x12\x19\n\x0b\x61\x64\x64_cg_cuts\x18u \x01(\x08:\x04true\x12\x1a\n\x0c\x61\x64\x64_mir_cuts\x18x \x01(\x08:\x04true\x12!\n\x12\x61\x64\x64_zero_half_cuts\x18\xa9\x01 \x01(\x08:\x04true\x12\x1e\n\x0f\x61\x64\x64_clique_cuts\x18\xac\x01 \x01(\x08:\x04true\x12!\n\x15max_all_diff_cut_size\x18\x94\x01 \x01(\x05:\x01\x37\x12\x1f\n\x10\x61\x64\x64_lin_max_cuts\x18\x98\x01 \x01(\x08:\x04true\x12)\n\x1cmax_integer_rounding_scaling\x18w \x01(\x05:\x03\x36\x30\x30\x12\'\n\x19\x61\x64\x64_lp_constraints_lazily\x18p \x01(\x08:\x04true\x12\x32\n$min_orthogonality_for_lp_constraints\x18s \x01(\x01:\x04\x30.05\x12(\n\x1cmax_cut_rounds_at_level_zero\x18\x9a\x01 \x01(\x05:\x01\x31\x12+\n\x1emax_consecutive_inactive_count\x18y \x01(\x05:\x03\x31\x30\x30\x12\x30\n\x1a\x63ut_max_active_count_value\x18\x9b\x01 \x01(\x01:\x0b\x31\x30\x30\x30\x30\x30\x30\x30\x30\x30\x30\x12$\n\x16\x63ut_active_count_decay\x18\x9c\x01 \x01(\x01:\x03\x30.8\x12!\n\x12\x63ut_cleanup_target\x18\x9d\x01 \x01(\x05:\x04\x31\x30\x30\x30\x12&\n\x1anew_constraints_batch_size\x18z \x01(\x05:\x02\x35\x30\x12\x62\n\x10search_branching\x18R \x01(\x0e\x32\x36.operations_research.sat.SatParameters.SearchBranching:\x10\x41UTOMATIC_SEARCH\x12 \n\x13hint_conflict_limit\x18\x99\x01 \x01(\x05:\x02\x31\x30\x12\x1b\n\x0brepair_hint\x18\xa7\x01 \x01(\x08:\x05\x66\x61lse\x12)\n\x1b\x65xploit_integer_lp_solution\x18^ \x01(\x08:\x04true\x12%\n\x17\x65xploit_all_lp_solution\x18t \x01(\x08:\x04true\x12%\n\x15\x65xploit_best_solution\x18\x82\x01 \x01(\x08:\x05\x66\x61lse\x12+\n\x1b\x65xploit_relaxation_solution\x18\xa1\x01 \x01(\x08:\x05\x66\x61lse\x12 \n\x11\x65xploit_objective\x18\x83\x01 \x01(\x08:\x04true\x12\"\n\x16probing_period_at_root\x18\x8e\x01 \x01(\x03:\x01\x30\x12\"\n\x12use_probing_search\x18\xb0\x01 \x01(\x08:\x05\x66\x61lse\x12.\n!pseudo_cost_reliability_threshold\x18{ \x01(\x03:\x03\x31\x30\x30\x12!\n\x12optimize_with_core\x18S \x01(\x08:\x05\x66\x61lse\x12\'\n\x1b\x62inary_search_num_conflicts\x18\x63 \x01(\x05:\x02-1\x12#\n\x14optimize_with_max_hs\x18U \x01(\x08:\x05\x66\x61lse\x12&\n\x17\x65numerate_all_solutions\x18W \x01(\x08:\x05\x66\x61lse\x12\x37\n\'keep_all_feasible_solutions_in_presolve\x18\xad\x01 \x01(\x08:\x05\x66\x61lse\x12\x32\n\"fill_tightened_domains_in_response\x18\x84\x01 \x01(\x08:\x05\x66\x61lse\x12\'\n\x19instantiate_all_variables\x18j \x01(\x08:\x04true\x12\x36\n(auto_detect_greater_than_at_least_one_of\x18_ \x01(\x08:\x04true\x12(\n\x19stop_after_first_solution\x18\x62 \x01(\x08:\x05\x66\x61lse\x12#\n\x13stop_after_presolve\x18\x95\x01 \x01(\x08:\x05\x66\x61lse\x12\x1d\n\x12num_search_workers\x18\x64 \x01(\x05:\x01\x31\x12!\n\x11interleave_search\x18\x88\x01 \x01(\x08:\x05\x66\x61lse\x12!\n\x15interleave_batch_size\x18\x86\x01 \x01(\x05:\x01\x31\x12\x36\n&reduce_memory_usage_in_interleave_mode\x18\x8d\x01 \x01(\x08:\x05\x66\x61lse\x12$\n\x16share_objective_bounds\x18q \x01(\x08:\x04true\x12%\n\x17share_level_zero_bounds\x18r \x01(\x08:\x04true\x12\x1b\n\x0cuse_lns_only\x18\x65 \x01(\x08:\x05\x66\x61lse\x12.\n\x1flns_focus_on_decision_variables\x18i \x01(\x08:\x05\x66\x61lse\x12\x1b\n\x0cuse_rins_lns\x18\x81\x01 \x01(\x08:\x04true\x12#\n\x14use_feasibility_pump\x18\xa4\x01 \x01(\x08:\x04true\x12\x63\n\x0b\x66p_rounding\x18\xa5\x01 \x01(\x0e\x32\x37.operations_research.sat.SatParameters.FPRoundingMethod:\x14PROPAGATION_ASSISTED\x12\"\n\x12use_relaxation_lns\x18\x96\x01 \x01(\x08:\x05\x66\x61lse\x12$\n\x14\x64iversify_lns_params\x18\x89\x01 \x01(\x08:\x05\x66\x61lse\x12\x1f\n\x10randomize_search\x18g \x01(\x08:\x05\x66\x61lse\x12)\n\x1esearch_randomization_tolerance\x18h \x01(\x03:\x01\x30\x12$\n\x16use_optional_variables\x18l \x01(\x08:\x04true\x12!\n\x13use_exact_lp_reason\x18m \x01(\x08:\x04true\x12#\n\x13use_branching_in_lp\x18\x8b\x01 \x01(\x08:\x05\x66\x61lse\x12\'\n\x17use_combined_no_overlap\x18\x85\x01 \x01(\x08:\x05\x66\x61lse\x12\"\n\x13\x63\x61tch_sigint_signal\x18\x87\x01 \x01(\x08:\x04true\x12!\n\x12use_implied_bounds\x18\x90\x01 \x01(\x08:\x04true\x12\"\n\x12polish_lp_solution\x18\xaf\x01 \x01(\x08:\x05\x66\x61lse\x12\x1f\n\rmip_max_bound\x18| \x01(\x01:\x08\x31\x30\x30\x30\x30\x30\x30\x30\x12\x1a\n\x0fmip_var_scaling\x18} \x01(\x01:\x01\x31\x12\x30\n!mip_automatically_scale_variables\x18\xa6\x01 \x01(\x08:\x04true\x12#\n\x14mip_wanted_precision\x18~ \x01(\x01:\x05\x31\x65-06\x12%\n\x19mip_max_activity_exponent\x18\x7f \x01(\x05:\x02\x35\x33\x12$\n\x13mip_check_precision\x18\x80\x01 \x01(\x01:\x06\x30.0001\"H\n\rVariableOrder\x12\x0c\n\x08IN_ORDER\x10\x00\x12\x14\n\x10IN_REVERSE_ORDER\x10\x01\x12\x13\n\x0fIN_RANDOM_ORDER\x10\x02\"\x86\x01\n\x08Polarity\x12\x11\n\rPOLARITY_TRUE\x10\x00\x12\x12\n\x0ePOLARITY_FALSE\x10\x01\x12\x13\n\x0fPOLARITY_RANDOM\x10\x02\x12\x1a\n\x16POLARITY_WEIGHTED_SIGN\x10\x03\x12\"\n\x1ePOLARITY_REVERSE_WEIGHTED_SIGN\x10\x04\"V\n\x1d\x43onflictMinimizationAlgorithm\x12\x08\n\x04NONE\x10\x00\x12\n\n\x06SIMPLE\x10\x01\x12\r\n\tRECURSIVE\x10\x02\x12\x10\n\x0c\x45XPERIMENTAL\x10\x03\"\xe0\x01\n\x19\x42inaryMinizationAlgorithm\x12\x1a\n\x16NO_BINARY_MINIMIZATION\x10\x00\x12\x1d\n\x19\x42INARY_MINIMIZATION_FIRST\x10\x01\x12\x37\n3BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION\x10\x04\x12)\n%BINARY_MINIMIZATION_WITH_REACHABILITY\x10\x02\x12$\n EXPERIMENTAL_BINARY_MINIMIZATION\x10\x03\"R\n\x10\x43lauseProtection\x12\x13\n\x0fPROTECTION_NONE\x10\x00\x12\x15\n\x11PROTECTION_ALWAYS\x10\x01\x12\x12\n\x0ePROTECTION_LBD\x10\x02\"5\n\x0e\x43lauseOrdering\x12\x13\n\x0f\x43LAUSE_ACTIVITY\x10\x00\x12\x0e\n\nCLAUSE_LBD\x10\x01\"\x86\x01\n\x10RestartAlgorithm\x12\x0e\n\nNO_RESTART\x10\x00\x12\x10\n\x0cLUBY_RESTART\x10\x01\x12\x1d\n\x19\x44L_MOVING_AVERAGE_RESTART\x10\x02\x12\x1e\n\x1aLBD_MOVING_AVERAGE_RESTART\x10\x03\x12\x11\n\rFIXED_RESTART\x10\x04\"t\n\x15MaxSatAssumptionOrder\x12\x1c\n\x18\x44\x45\x46\x41ULT_ASSUMPTION_ORDER\x10\x00\x12\x1d\n\x19ORDER_ASSUMPTION_BY_DEPTH\x10\x01\x12\x1e\n\x1aORDER_ASSUMPTION_BY_WEIGHT\x10\x02\"o\n\x1dMaxSatStratificationAlgorithm\x12\x17\n\x13STRATIFICATION_NONE\x10\x00\x12\x1a\n\x16STRATIFICATION_DESCENT\x10\x01\x12\x19\n\x15STRATIFICATION_ASCENT\x10\x02\"\xb0\x01\n\x0fSearchBranching\x12\x14\n\x10\x41UTOMATIC_SEARCH\x10\x00\x12\x10\n\x0c\x46IXED_SEARCH\x10\x01\x12\x14\n\x10PORTFOLIO_SEARCH\x10\x02\x12\r\n\tLP_SEARCH\x10\x03\x12\x16\n\x12PSEUDO_COST_SEARCH\x10\x04\x12\'\n#PORTFOLIO_WITH_QUICK_RESTART_SEARCH\x10\x05\x12\x0f\n\x0bHINT_SEARCH\x10\x06\"h\n\x10\x46PRoundingMethod\x12\x13\n\x0fNEAREST_INTEGER\x10\x00\x12\x0e\n\nLOCK_BASED\x10\x01\x12\x15\n\x11\x41\x43TIVE_LOCK_BASED\x10\x03\x12\x18\n\x14PROPAGATION_ASSISTED\x10\x02\x42\x1a\n\x16\x63om.google.ortools.satP\x01' ) _SATPARAMETERS_VARIABLEORDER = _descriptor.EnumDescriptor( name='VariableOrder', full_name='operations_research.sat.SatParameters.VariableOrder', filename=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key, values=[ _descriptor.EnumValueDescriptor( name='IN_ORDER', index=0, number=0, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='IN_REVERSE_ORDER', index=1, number=1, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='IN_RANDOM_ORDER', index=2, number=2, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), ], containing_type=None, serialized_options=None, serialized_start=7016, serialized_end=7088, ) _sym_db.RegisterEnumDescriptor(_SATPARAMETERS_VARIABLEORDER) _SATPARAMETERS_POLARITY = _descriptor.EnumDescriptor( name='Polarity', full_name='operations_research.sat.SatParameters.Polarity', filename=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key, values=[ _descriptor.EnumValueDescriptor( name='POLARITY_TRUE', index=0, number=0, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='POLARITY_FALSE', index=1, number=1, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='POLARITY_RANDOM', index=2, number=2, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='POLARITY_WEIGHTED_SIGN', index=3, number=3, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='POLARITY_REVERSE_WEIGHTED_SIGN', index=4, number=4, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), ], containing_type=None, serialized_options=None, serialized_start=7091, serialized_end=7225, ) _sym_db.RegisterEnumDescriptor(_SATPARAMETERS_POLARITY) _SATPARAMETERS_CONFLICTMINIMIZATIONALGORITHM = _descriptor.EnumDescriptor( name='ConflictMinimizationAlgorithm', full_name='operations_research.sat.SatParameters.ConflictMinimizationAlgorithm', filename=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key, values=[ _descriptor.EnumValueDescriptor( name='NONE', index=0, number=0, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='SIMPLE', index=1, number=1, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='RECURSIVE', index=2, number=2, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='EXPERIMENTAL', index=3, number=3, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), ], containing_type=None, serialized_options=None, serialized_start=7227, serialized_end=7313, ) _sym_db.RegisterEnumDescriptor(_SATPARAMETERS_CONFLICTMINIMIZATIONALGORITHM) _SATPARAMETERS_BINARYMINIZATIONALGORITHM = _descriptor.EnumDescriptor( name='BinaryMinizationAlgorithm', full_name='operations_research.sat.SatParameters.BinaryMinizationAlgorithm', filename=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key, values=[ _descriptor.EnumValueDescriptor( name='NO_BINARY_MINIMIZATION', index=0, number=0, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='BINARY_MINIMIZATION_FIRST', index=1, number=1, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION', index=2, number=4, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='BINARY_MINIMIZATION_WITH_REACHABILITY', index=3, number=2, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='EXPERIMENTAL_BINARY_MINIMIZATION', index=4, number=3, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), ], containing_type=None, serialized_options=None, serialized_start=7316, serialized_end=7540, ) _sym_db.RegisterEnumDescriptor(_SATPARAMETERS_BINARYMINIZATIONALGORITHM) _SATPARAMETERS_CLAUSEPROTECTION = _descriptor.EnumDescriptor( name='ClauseProtection', full_name='operations_research.sat.SatParameters.ClauseProtection', filename=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key, values=[ _descriptor.EnumValueDescriptor( name='PROTECTION_NONE', index=0, number=0, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='PROTECTION_ALWAYS', index=1, number=1, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='PROTECTION_LBD', index=2, number=2, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), ], containing_type=None, serialized_options=None, serialized_start=7542, serialized_end=7624, ) _sym_db.RegisterEnumDescriptor(_SATPARAMETERS_CLAUSEPROTECTION) _SATPARAMETERS_CLAUSEORDERING = _descriptor.EnumDescriptor( name='ClauseOrdering', full_name='operations_research.sat.SatParameters.ClauseOrdering', filename=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key, values=[ _descriptor.EnumValueDescriptor( name='CLAUSE_ACTIVITY', index=0, number=0, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='CLAUSE_LBD', index=1, number=1, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), ], containing_type=None, serialized_options=None, serialized_start=7626, serialized_end=7679, ) _sym_db.RegisterEnumDescriptor(_SATPARAMETERS_CLAUSEORDERING) _SATPARAMETERS_RESTARTALGORITHM = _descriptor.EnumDescriptor( name='RestartAlgorithm', full_name='operations_research.sat.SatParameters.RestartAlgorithm', filename=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key, values=[ _descriptor.EnumValueDescriptor( name='NO_RESTART', index=0, number=0, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='LUBY_RESTART', index=1, number=1, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='DL_MOVING_AVERAGE_RESTART', index=2, number=2, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='LBD_MOVING_AVERAGE_RESTART', index=3, number=3, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='FIXED_RESTART', index=4, number=4, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), ], containing_type=None, serialized_options=None, serialized_start=7682, serialized_end=7816, ) _sym_db.RegisterEnumDescriptor(_SATPARAMETERS_RESTARTALGORITHM) _SATPARAMETERS_MAXSATASSUMPTIONORDER = _descriptor.EnumDescriptor( name='MaxSatAssumptionOrder', full_name='operations_research.sat.SatParameters.MaxSatAssumptionOrder', filename=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key, values=[ _descriptor.EnumValueDescriptor( name='DEFAULT_ASSUMPTION_ORDER', index=0, number=0, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='ORDER_ASSUMPTION_BY_DEPTH', index=1, number=1, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='ORDER_ASSUMPTION_BY_WEIGHT', index=2, number=2, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), ], containing_type=None, serialized_options=None, serialized_start=7818, serialized_end=7934, ) _sym_db.RegisterEnumDescriptor(_SATPARAMETERS_MAXSATASSUMPTIONORDER) _SATPARAMETERS_MAXSATSTRATIFICATIONALGORITHM = _descriptor.EnumDescriptor( name='MaxSatStratificationAlgorithm', full_name='operations_research.sat.SatParameters.MaxSatStratificationAlgorithm', filename=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key, values=[ _descriptor.EnumValueDescriptor( name='STRATIFICATION_NONE', index=0, number=0, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='STRATIFICATION_DESCENT', index=1, number=1, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='STRATIFICATION_ASCENT', index=2, number=2, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), ], containing_type=None, serialized_options=None, serialized_start=7936, serialized_end=8047, ) _sym_db.RegisterEnumDescriptor(_SATPARAMETERS_MAXSATSTRATIFICATIONALGORITHM) _SATPARAMETERS_SEARCHBRANCHING = _descriptor.EnumDescriptor( name='SearchBranching', full_name='operations_research.sat.SatParameters.SearchBranching', filename=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key, values=[ _descriptor.EnumValueDescriptor( name='AUTOMATIC_SEARCH', index=0, number=0, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='FIXED_SEARCH', index=1, number=1, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='PORTFOLIO_SEARCH', index=2, number=2, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='LP_SEARCH', index=3, number=3, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='PSEUDO_COST_SEARCH', index=4, number=4, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='PORTFOLIO_WITH_QUICK_RESTART_SEARCH', index=5, number=5, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='HINT_SEARCH', index=6, number=6, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), ], containing_type=None, serialized_options=None, serialized_start=8050, serialized_end=8226, ) _sym_db.RegisterEnumDescriptor(_SATPARAMETERS_SEARCHBRANCHING) _SATPARAMETERS_FPROUNDINGMETHOD = _descriptor.EnumDescriptor( name='FPRoundingMethod', full_name='operations_research.sat.SatParameters.FPRoundingMethod', filename=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key, values=[ _descriptor.EnumValueDescriptor( name='NEAREST_INTEGER', index=0, number=0, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='LOCK_BASED', index=1, number=1, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='ACTIVE_LOCK_BASED', index=2, number=3, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), _descriptor.EnumValueDescriptor( name='PROPAGATION_ASSISTED', index=3, number=2, serialized_options=None, type=None, create_key=_descriptor._internal_create_key), ], containing_type=None, serialized_options=None, serialized_start=8228, serialized_end=8332, ) _sym_db.RegisterEnumDescriptor(_SATPARAMETERS_FPROUNDINGMETHOD) _SATPARAMETERS = _descriptor.Descriptor( name='SatParameters', full_name='operations_research.sat.SatParameters', filename=None, file=DESCRIPTOR, containing_type=None, create_key=_descriptor._internal_create_key, fields=[ _descriptor.FieldDescriptor( name='name', full_name='operations_research.sat.SatParameters.name', index=0, number=171, type=9, cpp_type=9, label=1, has_default_value=True, default_value=b"".decode('utf-8'), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='preferred_variable_order', full_name='operations_research.sat.SatParameters.preferred_variable_order', index=1, number=1, type=14, cpp_type=8, label=1, has_default_value=True, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='initial_polarity', full_name='operations_research.sat.SatParameters.initial_polarity', index=2, number=2, type=14, cpp_type=8, label=1, has_default_value=True, default_value=1, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_phase_saving', full_name='operations_research.sat.SatParameters.use_phase_saving', index=3, number=44, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='polarity_rephase_increment', full_name='operations_research.sat.SatParameters.polarity_rephase_increment', index=4, number=168, type=5, cpp_type=1, label=1, has_default_value=True, default_value=1000, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='random_polarity_ratio', full_name='operations_research.sat.SatParameters.random_polarity_ratio', index=5, number=45, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(0), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='random_branches_ratio', full_name='operations_research.sat.SatParameters.random_branches_ratio', index=6, number=32, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(0), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_erwa_heuristic', full_name='operations_research.sat.SatParameters.use_erwa_heuristic', index=7, number=75, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='initial_variables_activity', full_name='operations_research.sat.SatParameters.initial_variables_activity', index=8, number=76, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(0), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='also_bump_variables_in_conflict_reasons', full_name='operations_research.sat.SatParameters.also_bump_variables_in_conflict_reasons', index=9, number=77, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='minimization_algorithm', full_name='operations_research.sat.SatParameters.minimization_algorithm', index=10, number=4, type=14, cpp_type=8, label=1, has_default_value=True, default_value=2, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='binary_minimization_algorithm', full_name='operations_research.sat.SatParameters.binary_minimization_algorithm', index=11, number=34, type=14, cpp_type=8, label=1, has_default_value=True, default_value=1, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='subsumption_during_conflict_analysis', full_name='operations_research.sat.SatParameters.subsumption_during_conflict_analysis', index=12, number=56, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='clause_cleanup_period', full_name='operations_research.sat.SatParameters.clause_cleanup_period', index=13, number=11, type=5, cpp_type=1, label=1, has_default_value=True, default_value=10000, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='clause_cleanup_target', full_name='operations_research.sat.SatParameters.clause_cleanup_target', index=14, number=13, type=5, cpp_type=1, label=1, has_default_value=True, default_value=10000, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='clause_cleanup_protection', full_name='operations_research.sat.SatParameters.clause_cleanup_protection', index=15, number=58, type=14, cpp_type=8, label=1, has_default_value=True, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='clause_cleanup_lbd_bound', full_name='operations_research.sat.SatParameters.clause_cleanup_lbd_bound', index=16, number=59, type=5, cpp_type=1, label=1, has_default_value=True, default_value=5, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='clause_cleanup_ordering', full_name='operations_research.sat.SatParameters.clause_cleanup_ordering', index=17, number=60, type=14, cpp_type=8, label=1, has_default_value=True, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='pb_cleanup_increment', full_name='operations_research.sat.SatParameters.pb_cleanup_increment', index=18, number=46, type=5, cpp_type=1, label=1, has_default_value=True, default_value=200, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='pb_cleanup_ratio', full_name='operations_research.sat.SatParameters.pb_cleanup_ratio', index=19, number=47, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(0.5), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='minimize_with_propagation_restart_period', full_name='operations_research.sat.SatParameters.minimize_with_propagation_restart_period', index=20, number=96, type=5, cpp_type=1, label=1, has_default_value=True, default_value=10, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='minimize_with_propagation_num_decisions', full_name='operations_research.sat.SatParameters.minimize_with_propagation_num_decisions', index=21, number=97, type=5, cpp_type=1, label=1, has_default_value=True, default_value=1000, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='variable_activity_decay', full_name='operations_research.sat.SatParameters.variable_activity_decay', index=22, number=15, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(0.8), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='max_variable_activity_value', full_name='operations_research.sat.SatParameters.max_variable_activity_value', index=23, number=16, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(1e+100), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='glucose_max_decay', full_name='operations_research.sat.SatParameters.glucose_max_decay', index=24, number=22, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(0.95), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='glucose_decay_increment', full_name='operations_research.sat.SatParameters.glucose_decay_increment', index=25, number=23, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(0.01), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='glucose_decay_increment_period', full_name='operations_research.sat.SatParameters.glucose_decay_increment_period', index=26, number=24, type=5, cpp_type=1, label=1, has_default_value=True, default_value=5000, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='clause_activity_decay', full_name='operations_research.sat.SatParameters.clause_activity_decay', index=27, number=17, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(0.999), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='max_clause_activity_value', full_name='operations_research.sat.SatParameters.max_clause_activity_value', index=28, number=18, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(1e+20), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='restart_algorithms', full_name='operations_research.sat.SatParameters.restart_algorithms', index=29, number=61, type=14, cpp_type=8, label=3, has_default_value=False, default_value=[], message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='default_restart_algorithms', full_name='operations_research.sat.SatParameters.default_restart_algorithms', index=30, number=70, type=9, cpp_type=9, label=1, has_default_value=True, default_value=b"LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART".decode('utf-8'), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='restart_period', full_name='operations_research.sat.SatParameters.restart_period', index=31, number=30, type=5, cpp_type=1, label=1, has_default_value=True, default_value=50, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='restart_running_window_size', full_name='operations_research.sat.SatParameters.restart_running_window_size', index=32, number=62, type=5, cpp_type=1, label=1, has_default_value=True, default_value=50, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='restart_dl_average_ratio', full_name='operations_research.sat.SatParameters.restart_dl_average_ratio', index=33, number=63, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(1), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='restart_lbd_average_ratio', full_name='operations_research.sat.SatParameters.restart_lbd_average_ratio', index=34, number=71, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(1), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_blocking_restart', full_name='operations_research.sat.SatParameters.use_blocking_restart', index=35, number=64, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='blocking_restart_window_size', full_name='operations_research.sat.SatParameters.blocking_restart_window_size', index=36, number=65, type=5, cpp_type=1, label=1, has_default_value=True, default_value=5000, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='blocking_restart_multiplier', full_name='operations_research.sat.SatParameters.blocking_restart_multiplier', index=37, number=66, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(1.4), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='num_conflicts_before_strategy_changes', full_name='operations_research.sat.SatParameters.num_conflicts_before_strategy_changes', index=38, number=68, type=5, cpp_type=1, label=1, has_default_value=True, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='strategy_change_increase_ratio', full_name='operations_research.sat.SatParameters.strategy_change_increase_ratio', index=39, number=69, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(0), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='max_time_in_seconds', full_name='operations_research.sat.SatParameters.max_time_in_seconds', index=40, number=36, type=1, cpp_type=5, label=1, has_default_value=True, default_value=1e10000, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='max_deterministic_time', full_name='operations_research.sat.SatParameters.max_deterministic_time', index=41, number=67, type=1, cpp_type=5, label=1, has_default_value=True, default_value=1e10000, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='max_number_of_conflicts', full_name='operations_research.sat.SatParameters.max_number_of_conflicts', index=42, number=37, type=3, cpp_type=2, label=1, has_default_value=True, default_value=9223372036854775807, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='max_memory_in_mb', full_name='operations_research.sat.SatParameters.max_memory_in_mb', index=43, number=40, type=3, cpp_type=2, label=1, has_default_value=True, default_value=10000, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='absolute_gap_limit', full_name='operations_research.sat.SatParameters.absolute_gap_limit', index=44, number=159, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(0), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='relative_gap_limit', full_name='operations_research.sat.SatParameters.relative_gap_limit', index=45, number=160, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(0), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='treat_binary_clauses_separately', full_name='operations_research.sat.SatParameters.treat_binary_clauses_separately', index=46, number=33, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='random_seed', full_name='operations_research.sat.SatParameters.random_seed', index=47, number=31, type=5, cpp_type=1, label=1, has_default_value=True, default_value=1, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='log_search_progress', full_name='operations_research.sat.SatParameters.log_search_progress', index=48, number=41, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_pb_resolution', full_name='operations_research.sat.SatParameters.use_pb_resolution', index=49, number=43, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='minimize_reduction_during_pb_resolution', full_name='operations_research.sat.SatParameters.minimize_reduction_during_pb_resolution', index=50, number=48, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='count_assumption_levels_in_lbd', full_name='operations_research.sat.SatParameters.count_assumption_levels_in_lbd', index=51, number=49, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='presolve_bve_threshold', full_name='operations_research.sat.SatParameters.presolve_bve_threshold', index=52, number=54, type=5, cpp_type=1, label=1, has_default_value=True, default_value=500, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='presolve_bve_clause_weight', full_name='operations_research.sat.SatParameters.presolve_bve_clause_weight', index=53, number=55, type=5, cpp_type=1, label=1, has_default_value=True, default_value=3, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='presolve_probing_deterministic_time_limit', full_name='operations_research.sat.SatParameters.presolve_probing_deterministic_time_limit', index=54, number=57, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(30), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='presolve_blocked_clause', full_name='operations_research.sat.SatParameters.presolve_blocked_clause', index=55, number=88, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='presolve_use_bva', full_name='operations_research.sat.SatParameters.presolve_use_bva', index=56, number=72, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='presolve_bva_threshold', full_name='operations_research.sat.SatParameters.presolve_bva_threshold', index=57, number=73, type=5, cpp_type=1, label=1, has_default_value=True, default_value=1, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='max_presolve_iterations', full_name='operations_research.sat.SatParameters.max_presolve_iterations', index=58, number=138, type=5, cpp_type=1, label=1, has_default_value=True, default_value=3, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='cp_model_presolve', full_name='operations_research.sat.SatParameters.cp_model_presolve', index=59, number=86, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='cp_model_postsolve_with_full_solver', full_name='operations_research.sat.SatParameters.cp_model_postsolve_with_full_solver', index=60, number=162, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='cp_model_max_num_presolve_operations', full_name='operations_research.sat.SatParameters.cp_model_max_num_presolve_operations', index=61, number=151, type=5, cpp_type=1, label=1, has_default_value=True, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='cp_model_probing_level', full_name='operations_research.sat.SatParameters.cp_model_probing_level', index=62, number=110, type=5, cpp_type=1, label=1, has_default_value=True, default_value=2, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='cp_model_use_sat_presolve', full_name='operations_research.sat.SatParameters.cp_model_use_sat_presolve', index=63, number=93, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_sat_inprocessing', full_name='operations_research.sat.SatParameters.use_sat_inprocessing', index=64, number=163, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='expand_element_constraints', full_name='operations_research.sat.SatParameters.expand_element_constraints', index=65, number=140, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='expand_automaton_constraints', full_name='operations_research.sat.SatParameters.expand_automaton_constraints', index=66, number=143, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='expand_table_constraints', full_name='operations_research.sat.SatParameters.expand_table_constraints', index=67, number=158, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='expand_alldiff_constraints', full_name='operations_research.sat.SatParameters.expand_alldiff_constraints', index=68, number=170, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='merge_no_overlap_work_limit', full_name='operations_research.sat.SatParameters.merge_no_overlap_work_limit', index=69, number=145, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(1000000000000), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='merge_at_most_one_work_limit', full_name='operations_research.sat.SatParameters.merge_at_most_one_work_limit', index=70, number=146, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(100000000), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='presolve_substitution_level', full_name='operations_research.sat.SatParameters.presolve_substitution_level', index=71, number=147, type=5, cpp_type=1, label=1, has_default_value=True, default_value=1, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='presolve_extract_integer_enforcement', full_name='operations_research.sat.SatParameters.presolve_extract_integer_enforcement', index=72, number=174, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_optimization_hints', full_name='operations_research.sat.SatParameters.use_optimization_hints', index=73, number=35, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='minimize_core', full_name='operations_research.sat.SatParameters.minimize_core', index=74, number=50, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='find_multiple_cores', full_name='operations_research.sat.SatParameters.find_multiple_cores', index=75, number=84, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='cover_optimization', full_name='operations_research.sat.SatParameters.cover_optimization', index=76, number=89, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='max_sat_assumption_order', full_name='operations_research.sat.SatParameters.max_sat_assumption_order', index=77, number=51, type=14, cpp_type=8, label=1, has_default_value=True, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='max_sat_reverse_assumption_order', full_name='operations_research.sat.SatParameters.max_sat_reverse_assumption_order', index=78, number=52, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='max_sat_stratification', full_name='operations_research.sat.SatParameters.max_sat_stratification', index=79, number=53, type=14, cpp_type=8, label=1, has_default_value=True, default_value=1, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_precedences_in_disjunctive_constraint', full_name='operations_research.sat.SatParameters.use_precedences_in_disjunctive_constraint', index=80, number=74, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_overload_checker_in_cumulative_constraint', full_name='operations_research.sat.SatParameters.use_overload_checker_in_cumulative_constraint', index=81, number=78, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_timetable_edge_finding_in_cumulative_constraint', full_name='operations_research.sat.SatParameters.use_timetable_edge_finding_in_cumulative_constraint', index=82, number=79, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_disjunctive_constraint_in_cumulative_constraint', full_name='operations_research.sat.SatParameters.use_disjunctive_constraint_in_cumulative_constraint', index=83, number=80, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='linearization_level', full_name='operations_research.sat.SatParameters.linearization_level', index=84, number=90, type=5, cpp_type=1, label=1, has_default_value=True, default_value=1, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='boolean_encoding_level', full_name='operations_research.sat.SatParameters.boolean_encoding_level', index=85, number=107, type=5, cpp_type=1, label=1, has_default_value=True, default_value=1, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='max_num_cuts', full_name='operations_research.sat.SatParameters.max_num_cuts', index=86, number=91, type=5, cpp_type=1, label=1, has_default_value=True, default_value=10000, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='only_add_cuts_at_level_zero', full_name='operations_research.sat.SatParameters.only_add_cuts_at_level_zero', index=87, number=92, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='add_knapsack_cuts', full_name='operations_research.sat.SatParameters.add_knapsack_cuts', index=88, number=111, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='add_cg_cuts', full_name='operations_research.sat.SatParameters.add_cg_cuts', index=89, number=117, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='add_mir_cuts', full_name='operations_research.sat.SatParameters.add_mir_cuts', index=90, number=120, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='add_zero_half_cuts', full_name='operations_research.sat.SatParameters.add_zero_half_cuts', index=91, number=169, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='add_clique_cuts', full_name='operations_research.sat.SatParameters.add_clique_cuts', index=92, number=172, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='max_all_diff_cut_size', full_name='operations_research.sat.SatParameters.max_all_diff_cut_size', index=93, number=148, type=5, cpp_type=1, label=1, has_default_value=True, default_value=7, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='add_lin_max_cuts', full_name='operations_research.sat.SatParameters.add_lin_max_cuts', index=94, number=152, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='max_integer_rounding_scaling', full_name='operations_research.sat.SatParameters.max_integer_rounding_scaling', index=95, number=119, type=5, cpp_type=1, label=1, has_default_value=True, default_value=600, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='add_lp_constraints_lazily', full_name='operations_research.sat.SatParameters.add_lp_constraints_lazily', index=96, number=112, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='min_orthogonality_for_lp_constraints', full_name='operations_research.sat.SatParameters.min_orthogonality_for_lp_constraints', index=97, number=115, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(0.05), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='max_cut_rounds_at_level_zero', full_name='operations_research.sat.SatParameters.max_cut_rounds_at_level_zero', index=98, number=154, type=5, cpp_type=1, label=1, has_default_value=True, default_value=1, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='max_consecutive_inactive_count', full_name='operations_research.sat.SatParameters.max_consecutive_inactive_count', index=99, number=121, type=5, cpp_type=1, label=1, has_default_value=True, default_value=100, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='cut_max_active_count_value', full_name='operations_research.sat.SatParameters.cut_max_active_count_value', index=100, number=155, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(10000000000), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='cut_active_count_decay', full_name='operations_research.sat.SatParameters.cut_active_count_decay', index=101, number=156, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(0.8), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='cut_cleanup_target', full_name='operations_research.sat.SatParameters.cut_cleanup_target', index=102, number=157, type=5, cpp_type=1, label=1, has_default_value=True, default_value=1000, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='new_constraints_batch_size', full_name='operations_research.sat.SatParameters.new_constraints_batch_size', index=103, number=122, type=5, cpp_type=1, label=1, has_default_value=True, default_value=50, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='search_branching', full_name='operations_research.sat.SatParameters.search_branching', index=104, number=82, type=14, cpp_type=8, label=1, has_default_value=True, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='hint_conflict_limit', full_name='operations_research.sat.SatParameters.hint_conflict_limit', index=105, number=153, type=5, cpp_type=1, label=1, has_default_value=True, default_value=10, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='repair_hint', full_name='operations_research.sat.SatParameters.repair_hint', index=106, number=167, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='exploit_integer_lp_solution', full_name='operations_research.sat.SatParameters.exploit_integer_lp_solution', index=107, number=94, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='exploit_all_lp_solution', full_name='operations_research.sat.SatParameters.exploit_all_lp_solution', index=108, number=116, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='exploit_best_solution', full_name='operations_research.sat.SatParameters.exploit_best_solution', index=109, number=130, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='exploit_relaxation_solution', full_name='operations_research.sat.SatParameters.exploit_relaxation_solution', index=110, number=161, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='exploit_objective', full_name='operations_research.sat.SatParameters.exploit_objective', index=111, number=131, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='probing_period_at_root', full_name='operations_research.sat.SatParameters.probing_period_at_root', index=112, number=142, type=3, cpp_type=2, label=1, has_default_value=True, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_probing_search', full_name='operations_research.sat.SatParameters.use_probing_search', index=113, number=176, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='pseudo_cost_reliability_threshold', full_name='operations_research.sat.SatParameters.pseudo_cost_reliability_threshold', index=114, number=123, type=3, cpp_type=2, label=1, has_default_value=True, default_value=100, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='optimize_with_core', full_name='operations_research.sat.SatParameters.optimize_with_core', index=115, number=83, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='binary_search_num_conflicts', full_name='operations_research.sat.SatParameters.binary_search_num_conflicts', index=116, number=99, type=5, cpp_type=1, label=1, has_default_value=True, default_value=-1, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='optimize_with_max_hs', full_name='operations_research.sat.SatParameters.optimize_with_max_hs', index=117, number=85, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='enumerate_all_solutions', full_name='operations_research.sat.SatParameters.enumerate_all_solutions', index=118, number=87, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='keep_all_feasible_solutions_in_presolve', full_name='operations_research.sat.SatParameters.keep_all_feasible_solutions_in_presolve', index=119, number=173, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='fill_tightened_domains_in_response', full_name='operations_research.sat.SatParameters.fill_tightened_domains_in_response', index=120, number=132, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='instantiate_all_variables', full_name='operations_research.sat.SatParameters.instantiate_all_variables', index=121, number=106, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='auto_detect_greater_than_at_least_one_of', full_name='operations_research.sat.SatParameters.auto_detect_greater_than_at_least_one_of', index=122, number=95, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='stop_after_first_solution', full_name='operations_research.sat.SatParameters.stop_after_first_solution', index=123, number=98, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='stop_after_presolve', full_name='operations_research.sat.SatParameters.stop_after_presolve', index=124, number=149, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='num_search_workers', full_name='operations_research.sat.SatParameters.num_search_workers', index=125, number=100, type=5, cpp_type=1, label=1, has_default_value=True, default_value=1, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='interleave_search', full_name='operations_research.sat.SatParameters.interleave_search', index=126, number=136, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='interleave_batch_size', full_name='operations_research.sat.SatParameters.interleave_batch_size', index=127, number=134, type=5, cpp_type=1, label=1, has_default_value=True, default_value=1, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='reduce_memory_usage_in_interleave_mode', full_name='operations_research.sat.SatParameters.reduce_memory_usage_in_interleave_mode', index=128, number=141, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='share_objective_bounds', full_name='operations_research.sat.SatParameters.share_objective_bounds', index=129, number=113, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='share_level_zero_bounds', full_name='operations_research.sat.SatParameters.share_level_zero_bounds', index=130, number=114, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_lns_only', full_name='operations_research.sat.SatParameters.use_lns_only', index=131, number=101, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='lns_focus_on_decision_variables', full_name='operations_research.sat.SatParameters.lns_focus_on_decision_variables', index=132, number=105, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_rins_lns', full_name='operations_research.sat.SatParameters.use_rins_lns', index=133, number=129, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_feasibility_pump', full_name='operations_research.sat.SatParameters.use_feasibility_pump', index=134, number=164, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='fp_rounding', full_name='operations_research.sat.SatParameters.fp_rounding', index=135, number=165, type=14, cpp_type=8, label=1, has_default_value=True, default_value=2, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_relaxation_lns', full_name='operations_research.sat.SatParameters.use_relaxation_lns', index=136, number=150, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='diversify_lns_params', full_name='operations_research.sat.SatParameters.diversify_lns_params', index=137, number=137, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='randomize_search', full_name='operations_research.sat.SatParameters.randomize_search', index=138, number=103, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='search_randomization_tolerance', full_name='operations_research.sat.SatParameters.search_randomization_tolerance', index=139, number=104, type=3, cpp_type=2, label=1, has_default_value=True, default_value=0, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_optional_variables', full_name='operations_research.sat.SatParameters.use_optional_variables', index=140, number=108, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_exact_lp_reason', full_name='operations_research.sat.SatParameters.use_exact_lp_reason', index=141, number=109, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_branching_in_lp', full_name='operations_research.sat.SatParameters.use_branching_in_lp', index=142, number=139, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_combined_no_overlap', full_name='operations_research.sat.SatParameters.use_combined_no_overlap', index=143, number=133, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='catch_sigint_signal', full_name='operations_research.sat.SatParameters.catch_sigint_signal', index=144, number=135, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='use_implied_bounds', full_name='operations_research.sat.SatParameters.use_implied_bounds', index=145, number=144, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='polish_lp_solution', full_name='operations_research.sat.SatParameters.polish_lp_solution', index=146, number=175, type=8, cpp_type=7, label=1, has_default_value=True, default_value=False, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='mip_max_bound', full_name='operations_research.sat.SatParameters.mip_max_bound', index=147, number=124, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(10000000), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='mip_var_scaling', full_name='operations_research.sat.SatParameters.mip_var_scaling', index=148, number=125, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(1), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='mip_automatically_scale_variables', full_name='operations_research.sat.SatParameters.mip_automatically_scale_variables', index=149, number=166, type=8, cpp_type=7, label=1, has_default_value=True, default_value=True, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='mip_wanted_precision', full_name='operations_research.sat.SatParameters.mip_wanted_precision', index=150, number=126, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(1e-06), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='mip_max_activity_exponent', full_name='operations_research.sat.SatParameters.mip_max_activity_exponent', index=151, number=127, type=5, cpp_type=1, label=1, has_default_value=True, default_value=53, message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), _descriptor.FieldDescriptor( name='mip_check_precision', full_name='operations_research.sat.SatParameters.mip_check_precision', index=152, number=128, type=1, cpp_type=5, label=1, has_default_value=True, default_value=float(0.0001), message_type=None, enum_type=None, containing_type=None, is_extension=False, extension_scope=None, serialized_options=None, file=DESCRIPTOR, create_key=_descriptor._internal_create_key), ], extensions=[ ], nested_types=[], enum_types=[ _SATPARAMETERS_VARIABLEORDER, _SATPARAMETERS_POLARITY, _SATPARAMETERS_CONFLICTMINIMIZATIONALGORITHM, _SATPARAMETERS_BINARYMINIZATIONALGORITHM, _SATPARAMETERS_CLAUSEPROTECTION, _SATPARAMETERS_CLAUSEORDERING, _SATPARAMETERS_RESTARTALGORITHM, _SATPARAMETERS_MAXSATASSUMPTIONORDER, _SATPARAMETERS_MAXSATSTRATIFICATIONALGORITHM, _SATPARAMETERS_SEARCHBRANCHING, _SATPARAMETERS_FPROUNDINGMETHOD, ], serialized_options=None, is_extendable=False, syntax='proto2', extension_ranges=[], oneofs=[ ], serialized_start=62, serialized_end=8332, ) _SATPARAMETERS.fields_by_name['preferred_variable_order'].enum_type = _SATPARAMETERS_VARIABLEORDER _SATPARAMETERS.fields_by_name['initial_polarity'].enum_type = _SATPARAMETERS_POLARITY _SATPARAMETERS.fields_by_name['minimization_algorithm'].enum_type = _SATPARAMETERS_CONFLICTMINIMIZATIONALGORITHM _SATPARAMETERS.fields_by_name['binary_minimization_algorithm'].enum_type = _SATPARAMETERS_BINARYMINIZATIONALGORITHM _SATPARAMETERS.fields_by_name['clause_cleanup_protection'].enum_type = _SATPARAMETERS_CLAUSEPROTECTION _SATPARAMETERS.fields_by_name['clause_cleanup_ordering'].enum_type = _SATPARAMETERS_CLAUSEORDERING _SATPARAMETERS.fields_by_name['restart_algorithms'].enum_type = _SATPARAMETERS_RESTARTALGORITHM _SATPARAMETERS.fields_by_name['max_sat_assumption_order'].enum_type = _SATPARAMETERS_MAXSATASSUMPTIONORDER _SATPARAMETERS.fields_by_name['max_sat_stratification'].enum_type = _SATPARAMETERS_MAXSATSTRATIFICATIONALGORITHM _SATPARAMETERS.fields_by_name['search_branching'].enum_type = _SATPARAMETERS_SEARCHBRANCHING _SATPARAMETERS.fields_by_name['fp_rounding'].enum_type = _SATPARAMETERS_FPROUNDINGMETHOD _SATPARAMETERS_VARIABLEORDER.containing_type = _SATPARAMETERS _SATPARAMETERS_POLARITY.containing_type = _SATPARAMETERS _SATPARAMETERS_CONFLICTMINIMIZATIONALGORITHM.containing_type = _SATPARAMETERS _SATPARAMETERS_BINARYMINIZATIONALGORITHM.containing_type = _SATPARAMETERS _SATPARAMETERS_CLAUSEPROTECTION.containing_type = _SATPARAMETERS _SATPARAMETERS_CLAUSEORDERING.containing_type = _SATPARAMETERS _SATPARAMETERS_RESTARTALGORITHM.containing_type = _SATPARAMETERS _SATPARAMETERS_MAXSATASSUMPTIONORDER.containing_type = _SATPARAMETERS _SATPARAMETERS_MAXSATSTRATIFICATIONALGORITHM.containing_type = _SATPARAMETERS _SATPARAMETERS_SEARCHBRANCHING.containing_type = _SATPARAMETERS _SATPARAMETERS_FPROUNDINGMETHOD.containing_type = _SATPARAMETERS DESCRIPTOR.message_types_by_name['SatParameters'] = _SATPARAMETERS _sym_db.RegisterFileDescriptor(DESCRIPTOR) SatParameters = _reflection.GeneratedProtocolMessageType('SatParameters', (_message.Message,), { 'DESCRIPTOR' : _SATPARAMETERS, '__module__' : 'ortools.sat.sat_parameters_pb2' # @@protoc_insertion_point(class_scope:operations_research.sat.SatParameters) }) _sym_db.RegisterMessage(SatParameters) DESCRIPTOR._options = None # @@protoc_insertion_point(module_scope)