"""
@generated by mypy-protobuf.  Do not edit manually!
isort:skip_file
"""
import builtins
import google.protobuf.descriptor
import google.protobuf.internal.containers
import google.protobuf.internal.enum_type_wrapper
import google.protobuf.message
import typing
import typing_extensions

DESCRIPTOR: google.protobuf.descriptor.FileDescriptor = ...

class SatParameters(google.protobuf.message.Message):
    DESCRIPTOR: google.protobuf.descriptor.Descriptor = ...
    class _VariableOrder(google.protobuf.internal.enum_type_wrapper._EnumTypeWrapper[VariableOrder.V], builtins.type):
        DESCRIPTOR: google.protobuf.descriptor.EnumDescriptor = ...
        IN_ORDER = SatParameters.VariableOrder.V(0)
        IN_REVERSE_ORDER = SatParameters.VariableOrder.V(1)
        IN_RANDOM_ORDER = SatParameters.VariableOrder.V(2)
    class VariableOrder(metaclass=_VariableOrder):
        V = typing.NewType('V', builtins.int)
    IN_ORDER = SatParameters.VariableOrder.V(0)
    IN_REVERSE_ORDER = SatParameters.VariableOrder.V(1)
    IN_RANDOM_ORDER = SatParameters.VariableOrder.V(2)

    class _Polarity(google.protobuf.internal.enum_type_wrapper._EnumTypeWrapper[Polarity.V], builtins.type):
        DESCRIPTOR: google.protobuf.descriptor.EnumDescriptor = ...
        POLARITY_TRUE = SatParameters.Polarity.V(0)
        POLARITY_FALSE = SatParameters.Polarity.V(1)
        POLARITY_RANDOM = SatParameters.Polarity.V(2)
        POLARITY_WEIGHTED_SIGN = SatParameters.Polarity.V(3)
        POLARITY_REVERSE_WEIGHTED_SIGN = SatParameters.Polarity.V(4)
    class Polarity(metaclass=_Polarity):
        V = typing.NewType('V', builtins.int)
    POLARITY_TRUE = SatParameters.Polarity.V(0)
    POLARITY_FALSE = SatParameters.Polarity.V(1)
    POLARITY_RANDOM = SatParameters.Polarity.V(2)
    POLARITY_WEIGHTED_SIGN = SatParameters.Polarity.V(3)
    POLARITY_REVERSE_WEIGHTED_SIGN = SatParameters.Polarity.V(4)

    class _ConflictMinimizationAlgorithm(google.protobuf.internal.enum_type_wrapper._EnumTypeWrapper[ConflictMinimizationAlgorithm.V], builtins.type):
        DESCRIPTOR: google.protobuf.descriptor.EnumDescriptor = ...
        NONE = SatParameters.ConflictMinimizationAlgorithm.V(0)
        SIMPLE = SatParameters.ConflictMinimizationAlgorithm.V(1)
        RECURSIVE = SatParameters.ConflictMinimizationAlgorithm.V(2)
        EXPERIMENTAL = SatParameters.ConflictMinimizationAlgorithm.V(3)
    class ConflictMinimizationAlgorithm(metaclass=_ConflictMinimizationAlgorithm):
        V = typing.NewType('V', builtins.int)
    NONE = SatParameters.ConflictMinimizationAlgorithm.V(0)
    SIMPLE = SatParameters.ConflictMinimizationAlgorithm.V(1)
    RECURSIVE = SatParameters.ConflictMinimizationAlgorithm.V(2)
    EXPERIMENTAL = SatParameters.ConflictMinimizationAlgorithm.V(3)

    class _BinaryMinizationAlgorithm(google.protobuf.internal.enum_type_wrapper._EnumTypeWrapper[BinaryMinizationAlgorithm.V], builtins.type):
        DESCRIPTOR: google.protobuf.descriptor.EnumDescriptor = ...
        NO_BINARY_MINIMIZATION = SatParameters.BinaryMinizationAlgorithm.V(0)
        BINARY_MINIMIZATION_FIRST = SatParameters.BinaryMinizationAlgorithm.V(1)
        BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = SatParameters.BinaryMinizationAlgorithm.V(4)
        BINARY_MINIMIZATION_WITH_REACHABILITY = SatParameters.BinaryMinizationAlgorithm.V(2)
        EXPERIMENTAL_BINARY_MINIMIZATION = SatParameters.BinaryMinizationAlgorithm.V(3)
    class BinaryMinizationAlgorithm(metaclass=_BinaryMinizationAlgorithm):
        V = typing.NewType('V', builtins.int)
    NO_BINARY_MINIMIZATION = SatParameters.BinaryMinizationAlgorithm.V(0)
    BINARY_MINIMIZATION_FIRST = SatParameters.BinaryMinizationAlgorithm.V(1)
    BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = SatParameters.BinaryMinizationAlgorithm.V(4)
    BINARY_MINIMIZATION_WITH_REACHABILITY = SatParameters.BinaryMinizationAlgorithm.V(2)
    EXPERIMENTAL_BINARY_MINIMIZATION = SatParameters.BinaryMinizationAlgorithm.V(3)

    class _ClauseProtection(google.protobuf.internal.enum_type_wrapper._EnumTypeWrapper[ClauseProtection.V], builtins.type):
        DESCRIPTOR: google.protobuf.descriptor.EnumDescriptor = ...
        PROTECTION_NONE = SatParameters.ClauseProtection.V(0)
        PROTECTION_ALWAYS = SatParameters.ClauseProtection.V(1)
        PROTECTION_LBD = SatParameters.ClauseProtection.V(2)
    class ClauseProtection(metaclass=_ClauseProtection):
        V = typing.NewType('V', builtins.int)
    PROTECTION_NONE = SatParameters.ClauseProtection.V(0)
    PROTECTION_ALWAYS = SatParameters.ClauseProtection.V(1)
    PROTECTION_LBD = SatParameters.ClauseProtection.V(2)

    class _ClauseOrdering(google.protobuf.internal.enum_type_wrapper._EnumTypeWrapper[ClauseOrdering.V], builtins.type):
        DESCRIPTOR: google.protobuf.descriptor.EnumDescriptor = ...
        CLAUSE_ACTIVITY = SatParameters.ClauseOrdering.V(0)
        CLAUSE_LBD = SatParameters.ClauseOrdering.V(1)
    class ClauseOrdering(metaclass=_ClauseOrdering):
        V = typing.NewType('V', builtins.int)
    CLAUSE_ACTIVITY = SatParameters.ClauseOrdering.V(0)
    CLAUSE_LBD = SatParameters.ClauseOrdering.V(1)

    class _RestartAlgorithm(google.protobuf.internal.enum_type_wrapper._EnumTypeWrapper[RestartAlgorithm.V], builtins.type):
        DESCRIPTOR: google.protobuf.descriptor.EnumDescriptor = ...
        NO_RESTART = SatParameters.RestartAlgorithm.V(0)
        LUBY_RESTART = SatParameters.RestartAlgorithm.V(1)
        DL_MOVING_AVERAGE_RESTART = SatParameters.RestartAlgorithm.V(2)
        LBD_MOVING_AVERAGE_RESTART = SatParameters.RestartAlgorithm.V(3)
        FIXED_RESTART = SatParameters.RestartAlgorithm.V(4)
    class RestartAlgorithm(metaclass=_RestartAlgorithm):
        V = typing.NewType('V', builtins.int)
    NO_RESTART = SatParameters.RestartAlgorithm.V(0)
    LUBY_RESTART = SatParameters.RestartAlgorithm.V(1)
    DL_MOVING_AVERAGE_RESTART = SatParameters.RestartAlgorithm.V(2)
    LBD_MOVING_AVERAGE_RESTART = SatParameters.RestartAlgorithm.V(3)
    FIXED_RESTART = SatParameters.RestartAlgorithm.V(4)

    class _MaxSatAssumptionOrder(google.protobuf.internal.enum_type_wrapper._EnumTypeWrapper[MaxSatAssumptionOrder.V], builtins.type):
        DESCRIPTOR: google.protobuf.descriptor.EnumDescriptor = ...
        DEFAULT_ASSUMPTION_ORDER = SatParameters.MaxSatAssumptionOrder.V(0)
        ORDER_ASSUMPTION_BY_DEPTH = SatParameters.MaxSatAssumptionOrder.V(1)
        ORDER_ASSUMPTION_BY_WEIGHT = SatParameters.MaxSatAssumptionOrder.V(2)
    class MaxSatAssumptionOrder(metaclass=_MaxSatAssumptionOrder):
        V = typing.NewType('V', builtins.int)
    DEFAULT_ASSUMPTION_ORDER = SatParameters.MaxSatAssumptionOrder.V(0)
    ORDER_ASSUMPTION_BY_DEPTH = SatParameters.MaxSatAssumptionOrder.V(1)
    ORDER_ASSUMPTION_BY_WEIGHT = SatParameters.MaxSatAssumptionOrder.V(2)

    class _MaxSatStratificationAlgorithm(google.protobuf.internal.enum_type_wrapper._EnumTypeWrapper[MaxSatStratificationAlgorithm.V], builtins.type):
        DESCRIPTOR: google.protobuf.descriptor.EnumDescriptor = ...
        STRATIFICATION_NONE = SatParameters.MaxSatStratificationAlgorithm.V(0)
        STRATIFICATION_DESCENT = SatParameters.MaxSatStratificationAlgorithm.V(1)
        STRATIFICATION_ASCENT = SatParameters.MaxSatStratificationAlgorithm.V(2)
    class MaxSatStratificationAlgorithm(metaclass=_MaxSatStratificationAlgorithm):
        V = typing.NewType('V', builtins.int)
    STRATIFICATION_NONE = SatParameters.MaxSatStratificationAlgorithm.V(0)
    STRATIFICATION_DESCENT = SatParameters.MaxSatStratificationAlgorithm.V(1)
    STRATIFICATION_ASCENT = SatParameters.MaxSatStratificationAlgorithm.V(2)

    class _SearchBranching(google.protobuf.internal.enum_type_wrapper._EnumTypeWrapper[SearchBranching.V], builtins.type):
        DESCRIPTOR: google.protobuf.descriptor.EnumDescriptor = ...
        AUTOMATIC_SEARCH = SatParameters.SearchBranching.V(0)
        FIXED_SEARCH = SatParameters.SearchBranching.V(1)
        PORTFOLIO_SEARCH = SatParameters.SearchBranching.V(2)
        LP_SEARCH = SatParameters.SearchBranching.V(3)
        PSEUDO_COST_SEARCH = SatParameters.SearchBranching.V(4)
        PORTFOLIO_WITH_QUICK_RESTART_SEARCH = SatParameters.SearchBranching.V(5)
        HINT_SEARCH = SatParameters.SearchBranching.V(6)
    class SearchBranching(metaclass=_SearchBranching):
        V = typing.NewType('V', builtins.int)
    AUTOMATIC_SEARCH = SatParameters.SearchBranching.V(0)
    FIXED_SEARCH = SatParameters.SearchBranching.V(1)
    PORTFOLIO_SEARCH = SatParameters.SearchBranching.V(2)
    LP_SEARCH = SatParameters.SearchBranching.V(3)
    PSEUDO_COST_SEARCH = SatParameters.SearchBranching.V(4)
    PORTFOLIO_WITH_QUICK_RESTART_SEARCH = SatParameters.SearchBranching.V(5)
    HINT_SEARCH = SatParameters.SearchBranching.V(6)

    class _FPRoundingMethod(google.protobuf.internal.enum_type_wrapper._EnumTypeWrapper[FPRoundingMethod.V], builtins.type):
        DESCRIPTOR: google.protobuf.descriptor.EnumDescriptor = ...
        NEAREST_INTEGER = SatParameters.FPRoundingMethod.V(0)
        LOCK_BASED = SatParameters.FPRoundingMethod.V(1)
        ACTIVE_LOCK_BASED = SatParameters.FPRoundingMethod.V(3)
        PROPAGATION_ASSISTED = SatParameters.FPRoundingMethod.V(2)
    class FPRoundingMethod(metaclass=_FPRoundingMethod):
        V = typing.NewType('V', builtins.int)
    NEAREST_INTEGER = SatParameters.FPRoundingMethod.V(0)
    LOCK_BASED = SatParameters.FPRoundingMethod.V(1)
    ACTIVE_LOCK_BASED = SatParameters.FPRoundingMethod.V(3)
    PROPAGATION_ASSISTED = SatParameters.FPRoundingMethod.V(2)

    NAME_FIELD_NUMBER: builtins.int
    PREFERRED_VARIABLE_ORDER_FIELD_NUMBER: builtins.int
    INITIAL_POLARITY_FIELD_NUMBER: builtins.int
    USE_PHASE_SAVING_FIELD_NUMBER: builtins.int
    POLARITY_REPHASE_INCREMENT_FIELD_NUMBER: builtins.int
    RANDOM_POLARITY_RATIO_FIELD_NUMBER: builtins.int
    RANDOM_BRANCHES_RATIO_FIELD_NUMBER: builtins.int
    USE_ERWA_HEURISTIC_FIELD_NUMBER: builtins.int
    INITIAL_VARIABLES_ACTIVITY_FIELD_NUMBER: builtins.int
    ALSO_BUMP_VARIABLES_IN_CONFLICT_REASONS_FIELD_NUMBER: builtins.int
    MINIMIZATION_ALGORITHM_FIELD_NUMBER: builtins.int
    BINARY_MINIMIZATION_ALGORITHM_FIELD_NUMBER: builtins.int
    SUBSUMPTION_DURING_CONFLICT_ANALYSIS_FIELD_NUMBER: builtins.int
    CLAUSE_CLEANUP_PERIOD_FIELD_NUMBER: builtins.int
    CLAUSE_CLEANUP_TARGET_FIELD_NUMBER: builtins.int
    CLAUSE_CLEANUP_RATIO_FIELD_NUMBER: builtins.int
    CLAUSE_CLEANUP_PROTECTION_FIELD_NUMBER: builtins.int
    CLAUSE_CLEANUP_LBD_BOUND_FIELD_NUMBER: builtins.int
    CLAUSE_CLEANUP_ORDERING_FIELD_NUMBER: builtins.int
    PB_CLEANUP_INCREMENT_FIELD_NUMBER: builtins.int
    PB_CLEANUP_RATIO_FIELD_NUMBER: builtins.int
    MINIMIZE_WITH_PROPAGATION_RESTART_PERIOD_FIELD_NUMBER: builtins.int
    MINIMIZE_WITH_PROPAGATION_NUM_DECISIONS_FIELD_NUMBER: builtins.int
    VARIABLE_ACTIVITY_DECAY_FIELD_NUMBER: builtins.int
    MAX_VARIABLE_ACTIVITY_VALUE_FIELD_NUMBER: builtins.int
    GLUCOSE_MAX_DECAY_FIELD_NUMBER: builtins.int
    GLUCOSE_DECAY_INCREMENT_FIELD_NUMBER: builtins.int
    GLUCOSE_DECAY_INCREMENT_PERIOD_FIELD_NUMBER: builtins.int
    CLAUSE_ACTIVITY_DECAY_FIELD_NUMBER: builtins.int
    MAX_CLAUSE_ACTIVITY_VALUE_FIELD_NUMBER: builtins.int
    RESTART_ALGORITHMS_FIELD_NUMBER: builtins.int
    DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER: builtins.int
    RESTART_PERIOD_FIELD_NUMBER: builtins.int
    RESTART_RUNNING_WINDOW_SIZE_FIELD_NUMBER: builtins.int
    RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER: builtins.int
    RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER: builtins.int
    USE_BLOCKING_RESTART_FIELD_NUMBER: builtins.int
    BLOCKING_RESTART_WINDOW_SIZE_FIELD_NUMBER: builtins.int
    BLOCKING_RESTART_MULTIPLIER_FIELD_NUMBER: builtins.int
    NUM_CONFLICTS_BEFORE_STRATEGY_CHANGES_FIELD_NUMBER: builtins.int
    STRATEGY_CHANGE_INCREASE_RATIO_FIELD_NUMBER: builtins.int
    MAX_TIME_IN_SECONDS_FIELD_NUMBER: builtins.int
    MAX_DETERMINISTIC_TIME_FIELD_NUMBER: builtins.int
    MAX_NUMBER_OF_CONFLICTS_FIELD_NUMBER: builtins.int
    MAX_MEMORY_IN_MB_FIELD_NUMBER: builtins.int
    ABSOLUTE_GAP_LIMIT_FIELD_NUMBER: builtins.int
    RELATIVE_GAP_LIMIT_FIELD_NUMBER: builtins.int
    TREAT_BINARY_CLAUSES_SEPARATELY_FIELD_NUMBER: builtins.int
    RANDOM_SEED_FIELD_NUMBER: builtins.int
    PERMUTE_VARIABLE_RANDOMLY_FIELD_NUMBER: builtins.int
    PERMUTE_PRESOLVE_CONSTRAINT_ORDER_FIELD_NUMBER: builtins.int
    USE_ABSL_RANDOM_FIELD_NUMBER: builtins.int
    LOG_SEARCH_PROGRESS_FIELD_NUMBER: builtins.int
    LOG_SUBSOLVER_STATISTICS_FIELD_NUMBER: builtins.int
    LOG_PREFIX_FIELD_NUMBER: builtins.int
    LOG_TO_STDOUT_FIELD_NUMBER: builtins.int
    LOG_TO_RESPONSE_FIELD_NUMBER: builtins.int
    USE_PB_RESOLUTION_FIELD_NUMBER: builtins.int
    MINIMIZE_REDUCTION_DURING_PB_RESOLUTION_FIELD_NUMBER: builtins.int
    COUNT_ASSUMPTION_LEVELS_IN_LBD_FIELD_NUMBER: builtins.int
    PRESOLVE_BVE_THRESHOLD_FIELD_NUMBER: builtins.int
    PRESOLVE_BVE_CLAUSE_WEIGHT_FIELD_NUMBER: builtins.int
    PRESOLVE_PROBING_DETERMINISTIC_TIME_LIMIT_FIELD_NUMBER: builtins.int
    PRESOLVE_BLOCKED_CLAUSE_FIELD_NUMBER: builtins.int
    PRESOLVE_USE_BVA_FIELD_NUMBER: builtins.int
    PRESOLVE_BVA_THRESHOLD_FIELD_NUMBER: builtins.int
    MAX_PRESOLVE_ITERATIONS_FIELD_NUMBER: builtins.int
    CP_MODEL_PRESOLVE_FIELD_NUMBER: builtins.int
    CP_MODEL_PROBING_LEVEL_FIELD_NUMBER: builtins.int
    CP_MODEL_USE_SAT_PRESOLVE_FIELD_NUMBER: builtins.int
    USE_SAT_INPROCESSING_FIELD_NUMBER: builtins.int
    EXPAND_ALLDIFF_CONSTRAINTS_FIELD_NUMBER: builtins.int
    DISABLE_CONSTRAINT_EXPANSION_FIELD_NUMBER: builtins.int
    MERGE_NO_OVERLAP_WORK_LIMIT_FIELD_NUMBER: builtins.int
    MERGE_AT_MOST_ONE_WORK_LIMIT_FIELD_NUMBER: builtins.int
    PRESOLVE_SUBSTITUTION_LEVEL_FIELD_NUMBER: builtins.int
    PRESOLVE_EXTRACT_INTEGER_ENFORCEMENT_FIELD_NUMBER: builtins.int
    DEBUG_POSTSOLVE_WITH_FULL_SOLVER_FIELD_NUMBER: builtins.int
    DEBUG_MAX_NUM_PRESOLVE_OPERATIONS_FIELD_NUMBER: builtins.int
    DEBUG_CRASH_ON_BAD_HINT_FIELD_NUMBER: builtins.int
    USE_OPTIMIZATION_HINTS_FIELD_NUMBER: builtins.int
    MINIMIZE_CORE_FIELD_NUMBER: builtins.int
    FIND_MULTIPLE_CORES_FIELD_NUMBER: builtins.int
    COVER_OPTIMIZATION_FIELD_NUMBER: builtins.int
    MAX_SAT_ASSUMPTION_ORDER_FIELD_NUMBER: builtins.int
    MAX_SAT_REVERSE_ASSUMPTION_ORDER_FIELD_NUMBER: builtins.int
    MAX_SAT_STRATIFICATION_FIELD_NUMBER: builtins.int
    USE_PRECEDENCES_IN_DISJUNCTIVE_CONSTRAINT_FIELD_NUMBER: builtins.int
    USE_OVERLOAD_CHECKER_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER: builtins.int
    USE_TIMETABLE_EDGE_FINDING_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER: builtins.int
    USE_DISJUNCTIVE_CONSTRAINT_IN_CUMULATIVE_CONSTRAINT_FIELD_NUMBER: builtins.int
    USE_CUMULATIVE_IN_NO_OVERLAP_2D_FIELD_NUMBER: builtins.int
    LINEARIZATION_LEVEL_FIELD_NUMBER: builtins.int
    BOOLEAN_ENCODING_LEVEL_FIELD_NUMBER: builtins.int
    MAX_DOMAIN_SIZE_WHEN_ENCODING_EQ_NEQ_CONSTRAINTS_FIELD_NUMBER: builtins.int
    MAX_NUM_CUTS_FIELD_NUMBER: builtins.int
    CUT_LEVEL_FIELD_NUMBER: builtins.int
    ONLY_ADD_CUTS_AT_LEVEL_ZERO_FIELD_NUMBER: builtins.int
    ADD_OBJECTIVE_CUT_FIELD_NUMBER: builtins.int
    ADD_CG_CUTS_FIELD_NUMBER: builtins.int
    ADD_MIR_CUTS_FIELD_NUMBER: builtins.int
    ADD_ZERO_HALF_CUTS_FIELD_NUMBER: builtins.int
    ADD_CLIQUE_CUTS_FIELD_NUMBER: builtins.int
    MAX_ALL_DIFF_CUT_SIZE_FIELD_NUMBER: builtins.int
    ADD_LIN_MAX_CUTS_FIELD_NUMBER: builtins.int
    MAX_INTEGER_ROUNDING_SCALING_FIELD_NUMBER: builtins.int
    ADD_LP_CONSTRAINTS_LAZILY_FIELD_NUMBER: builtins.int
    MIN_ORTHOGONALITY_FOR_LP_CONSTRAINTS_FIELD_NUMBER: builtins.int
    MAX_CUT_ROUNDS_AT_LEVEL_ZERO_FIELD_NUMBER: builtins.int
    MAX_CONSECUTIVE_INACTIVE_COUNT_FIELD_NUMBER: builtins.int
    CUT_MAX_ACTIVE_COUNT_VALUE_FIELD_NUMBER: builtins.int
    CUT_ACTIVE_COUNT_DECAY_FIELD_NUMBER: builtins.int
    CUT_CLEANUP_TARGET_FIELD_NUMBER: builtins.int
    NEW_CONSTRAINTS_BATCH_SIZE_FIELD_NUMBER: builtins.int
    SEARCH_BRANCHING_FIELD_NUMBER: builtins.int
    HINT_CONFLICT_LIMIT_FIELD_NUMBER: builtins.int
    REPAIR_HINT_FIELD_NUMBER: builtins.int
    FIX_VARIABLES_TO_THEIR_HINTED_VALUE_FIELD_NUMBER: builtins.int
    EXPLOIT_INTEGER_LP_SOLUTION_FIELD_NUMBER: builtins.int
    EXPLOIT_ALL_LP_SOLUTION_FIELD_NUMBER: builtins.int
    EXPLOIT_BEST_SOLUTION_FIELD_NUMBER: builtins.int
    EXPLOIT_RELAXATION_SOLUTION_FIELD_NUMBER: builtins.int
    EXPLOIT_OBJECTIVE_FIELD_NUMBER: builtins.int
    PROBING_PERIOD_AT_ROOT_FIELD_NUMBER: builtins.int
    USE_PROBING_SEARCH_FIELD_NUMBER: builtins.int
    PSEUDO_COST_RELIABILITY_THRESHOLD_FIELD_NUMBER: builtins.int
    OPTIMIZE_WITH_CORE_FIELD_NUMBER: builtins.int
    OPTIMIZE_WITH_LB_TREE_SEARCH_FIELD_NUMBER: builtins.int
    BINARY_SEARCH_NUM_CONFLICTS_FIELD_NUMBER: builtins.int
    OPTIMIZE_WITH_MAX_HS_FIELD_NUMBER: builtins.int
    ENUMERATE_ALL_SOLUTIONS_FIELD_NUMBER: builtins.int
    KEEP_ALL_FEASIBLE_SOLUTIONS_IN_PRESOLVE_FIELD_NUMBER: builtins.int
    FILL_TIGHTENED_DOMAINS_IN_RESPONSE_FIELD_NUMBER: builtins.int
    FILL_ADDITIONAL_SOLUTIONS_IN_RESPONSE_FIELD_NUMBER: builtins.int
    INSTANTIATE_ALL_VARIABLES_FIELD_NUMBER: builtins.int
    AUTO_DETECT_GREATER_THAN_AT_LEAST_ONE_OF_FIELD_NUMBER: builtins.int
    STOP_AFTER_FIRST_SOLUTION_FIELD_NUMBER: builtins.int
    STOP_AFTER_PRESOLVE_FIELD_NUMBER: builtins.int
    NUM_SEARCH_WORKERS_FIELD_NUMBER: builtins.int
    INTERLEAVE_SEARCH_FIELD_NUMBER: builtins.int
    INTERLEAVE_BATCH_SIZE_FIELD_NUMBER: builtins.int
    REDUCE_MEMORY_USAGE_IN_INTERLEAVE_MODE_FIELD_NUMBER: builtins.int
    SHARE_OBJECTIVE_BOUNDS_FIELD_NUMBER: builtins.int
    SHARE_LEVEL_ZERO_BOUNDS_FIELD_NUMBER: builtins.int
    USE_LNS_ONLY_FIELD_NUMBER: builtins.int
    SOLUTION_POOL_SIZE_FIELD_NUMBER: builtins.int
    USE_RINS_LNS_FIELD_NUMBER: builtins.int
    USE_FEASIBILITY_PUMP_FIELD_NUMBER: builtins.int
    FP_ROUNDING_FIELD_NUMBER: builtins.int
    USE_RELAXATION_LNS_FIELD_NUMBER: builtins.int
    DIVERSIFY_LNS_PARAMS_FIELD_NUMBER: builtins.int
    RANDOMIZE_SEARCH_FIELD_NUMBER: builtins.int
    SEARCH_RANDOMIZATION_TOLERANCE_FIELD_NUMBER: builtins.int
    USE_OPTIONAL_VARIABLES_FIELD_NUMBER: builtins.int
    USE_EXACT_LP_REASON_FIELD_NUMBER: builtins.int
    USE_BRANCHING_IN_LP_FIELD_NUMBER: builtins.int
    USE_COMBINED_NO_OVERLAP_FIELD_NUMBER: builtins.int
    CATCH_SIGINT_SIGNAL_FIELD_NUMBER: builtins.int
    USE_IMPLIED_BOUNDS_FIELD_NUMBER: builtins.int
    POLISH_LP_SOLUTION_FIELD_NUMBER: builtins.int
    CONVERT_INTERVALS_FIELD_NUMBER: builtins.int
    SYMMETRY_LEVEL_FIELD_NUMBER: builtins.int
    MIP_MAX_BOUND_FIELD_NUMBER: builtins.int
    MIP_VAR_SCALING_FIELD_NUMBER: builtins.int
    MIP_AUTOMATICALLY_SCALE_VARIABLES_FIELD_NUMBER: builtins.int
    MIP_WANTED_PRECISION_FIELD_NUMBER: builtins.int
    MIP_MAX_ACTIVITY_EXPONENT_FIELD_NUMBER: builtins.int
    MIP_CHECK_PRECISION_FIELD_NUMBER: builtins.int
    MIP_COMPUTE_TRUE_OBJECTIVE_BOUND_FIELD_NUMBER: builtins.int
    MIP_MAX_VALID_MAGNITUDE_FIELD_NUMBER: builtins.int
    name: typing.Text = ...
    preferred_variable_order: global___SatParameters.VariableOrder.V = ...
    initial_polarity: global___SatParameters.Polarity.V = ...
    use_phase_saving: builtins.bool = ...
    polarity_rephase_increment: builtins.int = ...
    random_polarity_ratio: builtins.float = ...
    random_branches_ratio: builtins.float = ...
    use_erwa_heuristic: builtins.bool = ...
    initial_variables_activity: builtins.float = ...
    also_bump_variables_in_conflict_reasons: builtins.bool = ...
    minimization_algorithm: global___SatParameters.ConflictMinimizationAlgorithm.V = ...
    binary_minimization_algorithm: global___SatParameters.BinaryMinizationAlgorithm.V = ...
    subsumption_during_conflict_analysis: builtins.bool = ...
    clause_cleanup_period: builtins.int = ...
    clause_cleanup_target: builtins.int = ...
    clause_cleanup_ratio: builtins.float = ...
    clause_cleanup_protection: global___SatParameters.ClauseProtection.V = ...
    clause_cleanup_lbd_bound: builtins.int = ...
    clause_cleanup_ordering: global___SatParameters.ClauseOrdering.V = ...
    pb_cleanup_increment: builtins.int = ...
    pb_cleanup_ratio: builtins.float = ...
    minimize_with_propagation_restart_period: builtins.int = ...
    minimize_with_propagation_num_decisions: builtins.int = ...
    variable_activity_decay: builtins.float = ...
    max_variable_activity_value: builtins.float = ...
    glucose_max_decay: builtins.float = ...
    glucose_decay_increment: builtins.float = ...
    glucose_decay_increment_period: builtins.int = ...
    clause_activity_decay: builtins.float = ...
    max_clause_activity_value: builtins.float = ...
    restart_algorithms: google.protobuf.internal.containers.RepeatedScalarFieldContainer[global___SatParameters.RestartAlgorithm.V] = ...
    default_restart_algorithms: typing.Text = ...
    restart_period: builtins.int = ...
    restart_running_window_size: builtins.int = ...
    restart_dl_average_ratio: builtins.float = ...
    restart_lbd_average_ratio: builtins.float = ...
    use_blocking_restart: builtins.bool = ...
    blocking_restart_window_size: builtins.int = ...
    blocking_restart_multiplier: builtins.float = ...
    num_conflicts_before_strategy_changes: builtins.int = ...
    strategy_change_increase_ratio: builtins.float = ...
    max_time_in_seconds: builtins.float = ...
    max_deterministic_time: builtins.float = ...
    max_number_of_conflicts: builtins.int = ...
    max_memory_in_mb: builtins.int = ...
    absolute_gap_limit: builtins.float = ...
    relative_gap_limit: builtins.float = ...
    treat_binary_clauses_separately: builtins.bool = ...
    random_seed: builtins.int = ...
    permute_variable_randomly: builtins.bool = ...
    permute_presolve_constraint_order: builtins.bool = ...
    use_absl_random: builtins.bool = ...
    log_search_progress: builtins.bool = ...
    log_subsolver_statistics: builtins.bool = ...
    log_prefix: typing.Text = ...
    log_to_stdout: builtins.bool = ...
    log_to_response: builtins.bool = ...
    use_pb_resolution: builtins.bool = ...
    minimize_reduction_during_pb_resolution: builtins.bool = ...
    count_assumption_levels_in_lbd: builtins.bool = ...
    presolve_bve_threshold: builtins.int = ...
    presolve_bve_clause_weight: builtins.int = ...
    presolve_probing_deterministic_time_limit: builtins.float = ...
    presolve_blocked_clause: builtins.bool = ...
    presolve_use_bva: builtins.bool = ...
    presolve_bva_threshold: builtins.int = ...
    max_presolve_iterations: builtins.int = ...
    cp_model_presolve: builtins.bool = ...
    cp_model_probing_level: builtins.int = ...
    cp_model_use_sat_presolve: builtins.bool = ...
    use_sat_inprocessing: builtins.bool = ...
    expand_alldiff_constraints: builtins.bool = ...
    disable_constraint_expansion: builtins.bool = ...
    merge_no_overlap_work_limit: builtins.float = ...
    merge_at_most_one_work_limit: builtins.float = ...
    presolve_substitution_level: builtins.int = ...
    presolve_extract_integer_enforcement: builtins.bool = ...
    debug_postsolve_with_full_solver: builtins.bool = ...
    debug_max_num_presolve_operations: builtins.int = ...
    debug_crash_on_bad_hint: builtins.bool = ...
    use_optimization_hints: builtins.bool = ...
    minimize_core: builtins.bool = ...
    find_multiple_cores: builtins.bool = ...
    cover_optimization: builtins.bool = ...
    max_sat_assumption_order: global___SatParameters.MaxSatAssumptionOrder.V = ...
    max_sat_reverse_assumption_order: builtins.bool = ...
    max_sat_stratification: global___SatParameters.MaxSatStratificationAlgorithm.V = ...
    use_precedences_in_disjunctive_constraint: builtins.bool = ...
    use_overload_checker_in_cumulative_constraint: builtins.bool = ...
    use_timetable_edge_finding_in_cumulative_constraint: builtins.bool = ...
    use_disjunctive_constraint_in_cumulative_constraint: builtins.bool = ...
    use_cumulative_in_no_overlap_2d: builtins.bool = ...
    linearization_level: builtins.int = ...
    boolean_encoding_level: builtins.int = ...
    max_domain_size_when_encoding_eq_neq_constraints: builtins.int = ...
    max_num_cuts: builtins.int = ...
    cut_level: builtins.int = ...
    only_add_cuts_at_level_zero: builtins.bool = ...
    add_objective_cut: builtins.bool = ...
    add_cg_cuts: builtins.bool = ...
    add_mir_cuts: builtins.bool = ...
    add_zero_half_cuts: builtins.bool = ...
    add_clique_cuts: builtins.bool = ...
    max_all_diff_cut_size: builtins.int = ...
    add_lin_max_cuts: builtins.bool = ...
    max_integer_rounding_scaling: builtins.int = ...
    add_lp_constraints_lazily: builtins.bool = ...
    min_orthogonality_for_lp_constraints: builtins.float = ...
    max_cut_rounds_at_level_zero: builtins.int = ...
    max_consecutive_inactive_count: builtins.int = ...
    cut_max_active_count_value: builtins.float = ...
    cut_active_count_decay: builtins.float = ...
    cut_cleanup_target: builtins.int = ...
    new_constraints_batch_size: builtins.int = ...
    search_branching: global___SatParameters.SearchBranching.V = ...
    hint_conflict_limit: builtins.int = ...
    repair_hint: builtins.bool = ...
    fix_variables_to_their_hinted_value: builtins.bool = ...
    exploit_integer_lp_solution: builtins.bool = ...
    exploit_all_lp_solution: builtins.bool = ...
    exploit_best_solution: builtins.bool = ...
    exploit_relaxation_solution: builtins.bool = ...
    exploit_objective: builtins.bool = ...
    probing_period_at_root: builtins.int = ...
    use_probing_search: builtins.bool = ...
    pseudo_cost_reliability_threshold: builtins.int = ...
    optimize_with_core: builtins.bool = ...
    optimize_with_lb_tree_search: builtins.bool = ...
    binary_search_num_conflicts: builtins.int = ...
    optimize_with_max_hs: builtins.bool = ...
    enumerate_all_solutions: builtins.bool = ...
    keep_all_feasible_solutions_in_presolve: builtins.bool = ...
    fill_tightened_domains_in_response: builtins.bool = ...
    fill_additional_solutions_in_response: builtins.bool = ...
    instantiate_all_variables: builtins.bool = ...
    auto_detect_greater_than_at_least_one_of: builtins.bool = ...
    stop_after_first_solution: builtins.bool = ...
    stop_after_presolve: builtins.bool = ...
    num_search_workers: builtins.int = ...
    interleave_search: builtins.bool = ...
    interleave_batch_size: builtins.int = ...
    reduce_memory_usage_in_interleave_mode: builtins.bool = ...
    share_objective_bounds: builtins.bool = ...
    share_level_zero_bounds: builtins.bool = ...
    use_lns_only: builtins.bool = ...
    solution_pool_size: builtins.int = ...
    use_rins_lns: builtins.bool = ...
    use_feasibility_pump: builtins.bool = ...
    fp_rounding: global___SatParameters.FPRoundingMethod.V = ...
    use_relaxation_lns: builtins.bool = ...
    diversify_lns_params: builtins.bool = ...
    randomize_search: builtins.bool = ...
    search_randomization_tolerance: builtins.int = ...
    use_optional_variables: builtins.bool = ...
    use_exact_lp_reason: builtins.bool = ...
    use_branching_in_lp: builtins.bool = ...
    use_combined_no_overlap: builtins.bool = ...
    catch_sigint_signal: builtins.bool = ...
    use_implied_bounds: builtins.bool = ...
    polish_lp_solution: builtins.bool = ...
    convert_intervals: builtins.bool = ...
    symmetry_level: builtins.int = ...
    mip_max_bound: builtins.float = ...
    mip_var_scaling: builtins.float = ...
    mip_automatically_scale_variables: builtins.bool = ...
    mip_wanted_precision: builtins.float = ...
    mip_max_activity_exponent: builtins.int = ...
    mip_check_precision: builtins.float = ...
    mip_compute_true_objective_bound: builtins.bool = ...
    mip_max_valid_magnitude: builtins.float = ...

    def __init__(self,
        *,
        name : typing.Optional[typing.Text] = ...,
        preferred_variable_order : typing.Optional[global___SatParameters.VariableOrder.V] = ...,
        initial_polarity : typing.Optional[global___SatParameters.Polarity.V] = ...,
        use_phase_saving : typing.Optional[builtins.bool] = ...,
        polarity_rephase_increment : typing.Optional[builtins.int] = ...,
        random_polarity_ratio : typing.Optional[builtins.float] = ...,
        random_branches_ratio : typing.Optional[builtins.float] = ...,
        use_erwa_heuristic : typing.Optional[builtins.bool] = ...,
        initial_variables_activity : typing.Optional[builtins.float] = ...,
        also_bump_variables_in_conflict_reasons : typing.Optional[builtins.bool] = ...,
        minimization_algorithm : typing.Optional[global___SatParameters.ConflictMinimizationAlgorithm.V] = ...,
        binary_minimization_algorithm : typing.Optional[global___SatParameters.BinaryMinizationAlgorithm.V] = ...,
        subsumption_during_conflict_analysis : typing.Optional[builtins.bool] = ...,
        clause_cleanup_period : typing.Optional[builtins.int] = ...,
        clause_cleanup_target : typing.Optional[builtins.int] = ...,
        clause_cleanup_ratio : typing.Optional[builtins.float] = ...,
        clause_cleanup_protection : typing.Optional[global___SatParameters.ClauseProtection.V] = ...,
        clause_cleanup_lbd_bound : typing.Optional[builtins.int] = ...,
        clause_cleanup_ordering : typing.Optional[global___SatParameters.ClauseOrdering.V] = ...,
        pb_cleanup_increment : typing.Optional[builtins.int] = ...,
        pb_cleanup_ratio : typing.Optional[builtins.float] = ...,
        minimize_with_propagation_restart_period : typing.Optional[builtins.int] = ...,
        minimize_with_propagation_num_decisions : typing.Optional[builtins.int] = ...,
        variable_activity_decay : typing.Optional[builtins.float] = ...,
        max_variable_activity_value : typing.Optional[builtins.float] = ...,
        glucose_max_decay : typing.Optional[builtins.float] = ...,
        glucose_decay_increment : typing.Optional[builtins.float] = ...,
        glucose_decay_increment_period : typing.Optional[builtins.int] = ...,
        clause_activity_decay : typing.Optional[builtins.float] = ...,
        max_clause_activity_value : typing.Optional[builtins.float] = ...,
        restart_algorithms : typing.Optional[typing.Iterable[global___SatParameters.RestartAlgorithm.V]] = ...,
        default_restart_algorithms : typing.Optional[typing.Text] = ...,
        restart_period : typing.Optional[builtins.int] = ...,
        restart_running_window_size : typing.Optional[builtins.int] = ...,
        restart_dl_average_ratio : typing.Optional[builtins.float] = ...,
        restart_lbd_average_ratio : typing.Optional[builtins.float] = ...,
        use_blocking_restart : typing.Optional[builtins.bool] = ...,
        blocking_restart_window_size : typing.Optional[builtins.int] = ...,
        blocking_restart_multiplier : typing.Optional[builtins.float] = ...,
        num_conflicts_before_strategy_changes : typing.Optional[builtins.int] = ...,
        strategy_change_increase_ratio : typing.Optional[builtins.float] = ...,
        max_time_in_seconds : typing.Optional[builtins.float] = ...,
        max_deterministic_time : typing.Optional[builtins.float] = ...,
        max_number_of_conflicts : typing.Optional[builtins.int] = ...,
        max_memory_in_mb : typing.Optional[builtins.int] = ...,
        absolute_gap_limit : typing.Optional[builtins.float] = ...,
        relative_gap_limit : typing.Optional[builtins.float] = ...,
        treat_binary_clauses_separately : typing.Optional[builtins.bool] = ...,
        random_seed : typing.Optional[builtins.int] = ...,
        permute_variable_randomly : typing.Optional[builtins.bool] = ...,
        permute_presolve_constraint_order : typing.Optional[builtins.bool] = ...,
        use_absl_random : typing.Optional[builtins.bool] = ...,
        log_search_progress : typing.Optional[builtins.bool] = ...,
        log_subsolver_statistics : typing.Optional[builtins.bool] = ...,
        log_prefix : typing.Optional[typing.Text] = ...,
        log_to_stdout : typing.Optional[builtins.bool] = ...,
        log_to_response : typing.Optional[builtins.bool] = ...,
        use_pb_resolution : typing.Optional[builtins.bool] = ...,
        minimize_reduction_during_pb_resolution : typing.Optional[builtins.bool] = ...,
        count_assumption_levels_in_lbd : typing.Optional[builtins.bool] = ...,
        presolve_bve_threshold : typing.Optional[builtins.int] = ...,
        presolve_bve_clause_weight : typing.Optional[builtins.int] = ...,
        presolve_probing_deterministic_time_limit : typing.Optional[builtins.float] = ...,
        presolve_blocked_clause : typing.Optional[builtins.bool] = ...,
        presolve_use_bva : typing.Optional[builtins.bool] = ...,
        presolve_bva_threshold : typing.Optional[builtins.int] = ...,
        max_presolve_iterations : typing.Optional[builtins.int] = ...,
        cp_model_presolve : typing.Optional[builtins.bool] = ...,
        cp_model_probing_level : typing.Optional[builtins.int] = ...,
        cp_model_use_sat_presolve : typing.Optional[builtins.bool] = ...,
        use_sat_inprocessing : typing.Optional[builtins.bool] = ...,
        expand_alldiff_constraints : typing.Optional[builtins.bool] = ...,
        disable_constraint_expansion : typing.Optional[builtins.bool] = ...,
        merge_no_overlap_work_limit : typing.Optional[builtins.float] = ...,
        merge_at_most_one_work_limit : typing.Optional[builtins.float] = ...,
        presolve_substitution_level : typing.Optional[builtins.int] = ...,
        presolve_extract_integer_enforcement : typing.Optional[builtins.bool] = ...,
        debug_postsolve_with_full_solver : typing.Optional[builtins.bool] = ...,
        debug_max_num_presolve_operations : typing.Optional[builtins.int] = ...,
        debug_crash_on_bad_hint : typing.Optional[builtins.bool] = ...,
        use_optimization_hints : typing.Optional[builtins.bool] = ...,
        minimize_core : typing.Optional[builtins.bool] = ...,
        find_multiple_cores : typing.Optional[builtins.bool] = ...,
        cover_optimization : typing.Optional[builtins.bool] = ...,
        max_sat_assumption_order : typing.Optional[global___SatParameters.MaxSatAssumptionOrder.V] = ...,
        max_sat_reverse_assumption_order : typing.Optional[builtins.bool] = ...,
        max_sat_stratification : typing.Optional[global___SatParameters.MaxSatStratificationAlgorithm.V] = ...,
        use_precedences_in_disjunctive_constraint : typing.Optional[builtins.bool] = ...,
        use_overload_checker_in_cumulative_constraint : typing.Optional[builtins.bool] = ...,
        use_timetable_edge_finding_in_cumulative_constraint : typing.Optional[builtins.bool] = ...,
        use_disjunctive_constraint_in_cumulative_constraint : typing.Optional[builtins.bool] = ...,
        use_cumulative_in_no_overlap_2d : typing.Optional[builtins.bool] = ...,
        linearization_level : typing.Optional[builtins.int] = ...,
        boolean_encoding_level : typing.Optional[builtins.int] = ...,
        max_domain_size_when_encoding_eq_neq_constraints : typing.Optional[builtins.int] = ...,
        max_num_cuts : typing.Optional[builtins.int] = ...,
        cut_level : typing.Optional[builtins.int] = ...,
        only_add_cuts_at_level_zero : typing.Optional[builtins.bool] = ...,
        add_objective_cut : typing.Optional[builtins.bool] = ...,
        add_cg_cuts : typing.Optional[builtins.bool] = ...,
        add_mir_cuts : typing.Optional[builtins.bool] = ...,
        add_zero_half_cuts : typing.Optional[builtins.bool] = ...,
        add_clique_cuts : typing.Optional[builtins.bool] = ...,
        max_all_diff_cut_size : typing.Optional[builtins.int] = ...,
        add_lin_max_cuts : typing.Optional[builtins.bool] = ...,
        max_integer_rounding_scaling : typing.Optional[builtins.int] = ...,
        add_lp_constraints_lazily : typing.Optional[builtins.bool] = ...,
        min_orthogonality_for_lp_constraints : typing.Optional[builtins.float] = ...,
        max_cut_rounds_at_level_zero : typing.Optional[builtins.int] = ...,
        max_consecutive_inactive_count : typing.Optional[builtins.int] = ...,
        cut_max_active_count_value : typing.Optional[builtins.float] = ...,
        cut_active_count_decay : typing.Optional[builtins.float] = ...,
        cut_cleanup_target : typing.Optional[builtins.int] = ...,
        new_constraints_batch_size : typing.Optional[builtins.int] = ...,
        search_branching : typing.Optional[global___SatParameters.SearchBranching.V] = ...,
        hint_conflict_limit : typing.Optional[builtins.int] = ...,
        repair_hint : typing.Optional[builtins.bool] = ...,
        fix_variables_to_their_hinted_value : typing.Optional[builtins.bool] = ...,
        exploit_integer_lp_solution : typing.Optional[builtins.bool] = ...,
        exploit_all_lp_solution : typing.Optional[builtins.bool] = ...,
        exploit_best_solution : typing.Optional[builtins.bool] = ...,
        exploit_relaxation_solution : typing.Optional[builtins.bool] = ...,
        exploit_objective : typing.Optional[builtins.bool] = ...,
        probing_period_at_root : typing.Optional[builtins.int] = ...,
        use_probing_search : typing.Optional[builtins.bool] = ...,
        pseudo_cost_reliability_threshold : typing.Optional[builtins.int] = ...,
        optimize_with_core : typing.Optional[builtins.bool] = ...,
        optimize_with_lb_tree_search : typing.Optional[builtins.bool] = ...,
        binary_search_num_conflicts : typing.Optional[builtins.int] = ...,
        optimize_with_max_hs : typing.Optional[builtins.bool] = ...,
        enumerate_all_solutions : typing.Optional[builtins.bool] = ...,
        keep_all_feasible_solutions_in_presolve : typing.Optional[builtins.bool] = ...,
        fill_tightened_domains_in_response : typing.Optional[builtins.bool] = ...,
        fill_additional_solutions_in_response : typing.Optional[builtins.bool] = ...,
        instantiate_all_variables : typing.Optional[builtins.bool] = ...,
        auto_detect_greater_than_at_least_one_of : typing.Optional[builtins.bool] = ...,
        stop_after_first_solution : typing.Optional[builtins.bool] = ...,
        stop_after_presolve : typing.Optional[builtins.bool] = ...,
        num_search_workers : typing.Optional[builtins.int] = ...,
        interleave_search : typing.Optional[builtins.bool] = ...,
        interleave_batch_size : typing.Optional[builtins.int] = ...,
        reduce_memory_usage_in_interleave_mode : typing.Optional[builtins.bool] = ...,
        share_objective_bounds : typing.Optional[builtins.bool] = ...,
        share_level_zero_bounds : typing.Optional[builtins.bool] = ...,
        use_lns_only : typing.Optional[builtins.bool] = ...,
        solution_pool_size : typing.Optional[builtins.int] = ...,
        use_rins_lns : typing.Optional[builtins.bool] = ...,
        use_feasibility_pump : typing.Optional[builtins.bool] = ...,
        fp_rounding : typing.Optional[global___SatParameters.FPRoundingMethod.V] = ...,
        use_relaxation_lns : typing.Optional[builtins.bool] = ...,
        diversify_lns_params : typing.Optional[builtins.bool] = ...,
        randomize_search : typing.Optional[builtins.bool] = ...,
        search_randomization_tolerance : typing.Optional[builtins.int] = ...,
        use_optional_variables : typing.Optional[builtins.bool] = ...,
        use_exact_lp_reason : typing.Optional[builtins.bool] = ...,
        use_branching_in_lp : typing.Optional[builtins.bool] = ...,
        use_combined_no_overlap : typing.Optional[builtins.bool] = ...,
        catch_sigint_signal : typing.Optional[builtins.bool] = ...,
        use_implied_bounds : typing.Optional[builtins.bool] = ...,
        polish_lp_solution : typing.Optional[builtins.bool] = ...,
        convert_intervals : typing.Optional[builtins.bool] = ...,
        symmetry_level : typing.Optional[builtins.int] = ...,
        mip_max_bound : typing.Optional[builtins.float] = ...,
        mip_var_scaling : typing.Optional[builtins.float] = ...,
        mip_automatically_scale_variables : typing.Optional[builtins.bool] = ...,
        mip_wanted_precision : typing.Optional[builtins.float] = ...,
        mip_max_activity_exponent : typing.Optional[builtins.int] = ...,
        mip_check_precision : typing.Optional[builtins.float] = ...,
        mip_compute_true_objective_bound : typing.Optional[builtins.bool] = ...,
        mip_max_valid_magnitude : typing.Optional[builtins.float] = ...,
        ) -> None: ...
    def HasField(self, field_name: typing_extensions.Literal[u"absolute_gap_limit",b"absolute_gap_limit",u"add_cg_cuts",b"add_cg_cuts",u"add_clique_cuts",b"add_clique_cuts",u"add_lin_max_cuts",b"add_lin_max_cuts",u"add_lp_constraints_lazily",b"add_lp_constraints_lazily",u"add_mir_cuts",b"add_mir_cuts",u"add_objective_cut",b"add_objective_cut",u"add_zero_half_cuts",b"add_zero_half_cuts",u"also_bump_variables_in_conflict_reasons",b"also_bump_variables_in_conflict_reasons",u"auto_detect_greater_than_at_least_one_of",b"auto_detect_greater_than_at_least_one_of",u"binary_minimization_algorithm",b"binary_minimization_algorithm",u"binary_search_num_conflicts",b"binary_search_num_conflicts",u"blocking_restart_multiplier",b"blocking_restart_multiplier",u"blocking_restart_window_size",b"blocking_restart_window_size",u"boolean_encoding_level",b"boolean_encoding_level",u"catch_sigint_signal",b"catch_sigint_signal",u"clause_activity_decay",b"clause_activity_decay",u"clause_cleanup_lbd_bound",b"clause_cleanup_lbd_bound",u"clause_cleanup_ordering",b"clause_cleanup_ordering",u"clause_cleanup_period",b"clause_cleanup_period",u"clause_cleanup_protection",b"clause_cleanup_protection",u"clause_cleanup_ratio",b"clause_cleanup_ratio",u"clause_cleanup_target",b"clause_cleanup_target",u"convert_intervals",b"convert_intervals",u"count_assumption_levels_in_lbd",b"count_assumption_levels_in_lbd",u"cover_optimization",b"cover_optimization",u"cp_model_presolve",b"cp_model_presolve",u"cp_model_probing_level",b"cp_model_probing_level",u"cp_model_use_sat_presolve",b"cp_model_use_sat_presolve",u"cut_active_count_decay",b"cut_active_count_decay",u"cut_cleanup_target",b"cut_cleanup_target",u"cut_level",b"cut_level",u"cut_max_active_count_value",b"cut_max_active_count_value",u"debug_crash_on_bad_hint",b"debug_crash_on_bad_hint",u"debug_max_num_presolve_operations",b"debug_max_num_presolve_operations",u"debug_postsolve_with_full_solver",b"debug_postsolve_with_full_solver",u"default_restart_algorithms",b"default_restart_algorithms",u"disable_constraint_expansion",b"disable_constraint_expansion",u"diversify_lns_params",b"diversify_lns_params",u"enumerate_all_solutions",b"enumerate_all_solutions",u"expand_alldiff_constraints",b"expand_alldiff_constraints",u"exploit_all_lp_solution",b"exploit_all_lp_solution",u"exploit_best_solution",b"exploit_best_solution",u"exploit_integer_lp_solution",b"exploit_integer_lp_solution",u"exploit_objective",b"exploit_objective",u"exploit_relaxation_solution",b"exploit_relaxation_solution",u"fill_additional_solutions_in_response",b"fill_additional_solutions_in_response",u"fill_tightened_domains_in_response",b"fill_tightened_domains_in_response",u"find_multiple_cores",b"find_multiple_cores",u"fix_variables_to_their_hinted_value",b"fix_variables_to_their_hinted_value",u"fp_rounding",b"fp_rounding",u"glucose_decay_increment",b"glucose_decay_increment",u"glucose_decay_increment_period",b"glucose_decay_increment_period",u"glucose_max_decay",b"glucose_max_decay",u"hint_conflict_limit",b"hint_conflict_limit",u"initial_polarity",b"initial_polarity",u"initial_variables_activity",b"initial_variables_activity",u"instantiate_all_variables",b"instantiate_all_variables",u"interleave_batch_size",b"interleave_batch_size",u"interleave_search",b"interleave_search",u"keep_all_feasible_solutions_in_presolve",b"keep_all_feasible_solutions_in_presolve",u"linearization_level",b"linearization_level",u"log_prefix",b"log_prefix",u"log_search_progress",b"log_search_progress",u"log_subsolver_statistics",b"log_subsolver_statistics",u"log_to_response",b"log_to_response",u"log_to_stdout",b"log_to_stdout",u"max_all_diff_cut_size",b"max_all_diff_cut_size",u"max_clause_activity_value",b"max_clause_activity_value",u"max_consecutive_inactive_count",b"max_consecutive_inactive_count",u"max_cut_rounds_at_level_zero",b"max_cut_rounds_at_level_zero",u"max_deterministic_time",b"max_deterministic_time",u"max_domain_size_when_encoding_eq_neq_constraints",b"max_domain_size_when_encoding_eq_neq_constraints",u"max_integer_rounding_scaling",b"max_integer_rounding_scaling",u"max_memory_in_mb",b"max_memory_in_mb",u"max_num_cuts",b"max_num_cuts",u"max_number_of_conflicts",b"max_number_of_conflicts",u"max_presolve_iterations",b"max_presolve_iterations",u"max_sat_assumption_order",b"max_sat_assumption_order",u"max_sat_reverse_assumption_order",b"max_sat_reverse_assumption_order",u"max_sat_stratification",b"max_sat_stratification",u"max_time_in_seconds",b"max_time_in_seconds",u"max_variable_activity_value",b"max_variable_activity_value",u"merge_at_most_one_work_limit",b"merge_at_most_one_work_limit",u"merge_no_overlap_work_limit",b"merge_no_overlap_work_limit",u"min_orthogonality_for_lp_constraints",b"min_orthogonality_for_lp_constraints",u"minimization_algorithm",b"minimization_algorithm",u"minimize_core",b"minimize_core",u"minimize_reduction_during_pb_resolution",b"minimize_reduction_during_pb_resolution",u"minimize_with_propagation_num_decisions",b"minimize_with_propagation_num_decisions",u"minimize_with_propagation_restart_period",b"minimize_with_propagation_restart_period",u"mip_automatically_scale_variables",b"mip_automatically_scale_variables",u"mip_check_precision",b"mip_check_precision",u"mip_compute_true_objective_bound",b"mip_compute_true_objective_bound",u"mip_max_activity_exponent",b"mip_max_activity_exponent",u"mip_max_bound",b"mip_max_bound",u"mip_max_valid_magnitude",b"mip_max_valid_magnitude",u"mip_var_scaling",b"mip_var_scaling",u"mip_wanted_precision",b"mip_wanted_precision",u"name",b"name",u"new_constraints_batch_size",b"new_constraints_batch_size",u"num_conflicts_before_strategy_changes",b"num_conflicts_before_strategy_changes",u"num_search_workers",b"num_search_workers",u"only_add_cuts_at_level_zero",b"only_add_cuts_at_level_zero",u"optimize_with_core",b"optimize_with_core",u"optimize_with_lb_tree_search",b"optimize_with_lb_tree_search",u"optimize_with_max_hs",b"optimize_with_max_hs",u"pb_cleanup_increment",b"pb_cleanup_increment",u"pb_cleanup_ratio",b"pb_cleanup_ratio",u"permute_presolve_constraint_order",b"permute_presolve_constraint_order",u"permute_variable_randomly",b"permute_variable_randomly",u"polarity_rephase_increment",b"polarity_rephase_increment",u"polish_lp_solution",b"polish_lp_solution",u"preferred_variable_order",b"preferred_variable_order",u"presolve_blocked_clause",b"presolve_blocked_clause",u"presolve_bva_threshold",b"presolve_bva_threshold",u"presolve_bve_clause_weight",b"presolve_bve_clause_weight",u"presolve_bve_threshold",b"presolve_bve_threshold",u"presolve_extract_integer_enforcement",b"presolve_extract_integer_enforcement",u"presolve_probing_deterministic_time_limit",b"presolve_probing_deterministic_time_limit",u"presolve_substitution_level",b"presolve_substitution_level",u"presolve_use_bva",b"presolve_use_bva",u"probing_period_at_root",b"probing_period_at_root",u"pseudo_cost_reliability_threshold",b"pseudo_cost_reliability_threshold",u"random_branches_ratio",b"random_branches_ratio",u"random_polarity_ratio",b"random_polarity_ratio",u"random_seed",b"random_seed",u"randomize_search",b"randomize_search",u"reduce_memory_usage_in_interleave_mode",b"reduce_memory_usage_in_interleave_mode",u"relative_gap_limit",b"relative_gap_limit",u"repair_hint",b"repair_hint",u"restart_dl_average_ratio",b"restart_dl_average_ratio",u"restart_lbd_average_ratio",b"restart_lbd_average_ratio",u"restart_period",b"restart_period",u"restart_running_window_size",b"restart_running_window_size",u"search_branching",b"search_branching",u"search_randomization_tolerance",b"search_randomization_tolerance",u"share_level_zero_bounds",b"share_level_zero_bounds",u"share_objective_bounds",b"share_objective_bounds",u"solution_pool_size",b"solution_pool_size",u"stop_after_first_solution",b"stop_after_first_solution",u"stop_after_presolve",b"stop_after_presolve",u"strategy_change_increase_ratio",b"strategy_change_increase_ratio",u"subsumption_during_conflict_analysis",b"subsumption_during_conflict_analysis",u"symmetry_level",b"symmetry_level",u"treat_binary_clauses_separately",b"treat_binary_clauses_separately",u"use_absl_random",b"use_absl_random",u"use_blocking_restart",b"use_blocking_restart",u"use_branching_in_lp",b"use_branching_in_lp",u"use_combined_no_overlap",b"use_combined_no_overlap",u"use_cumulative_in_no_overlap_2d",b"use_cumulative_in_no_overlap_2d",u"use_disjunctive_constraint_in_cumulative_constraint",b"use_disjunctive_constraint_in_cumulative_constraint",u"use_erwa_heuristic",b"use_erwa_heuristic",u"use_exact_lp_reason",b"use_exact_lp_reason",u"use_feasibility_pump",b"use_feasibility_pump",u"use_implied_bounds",b"use_implied_bounds",u"use_lns_only",b"use_lns_only",u"use_optimization_hints",b"use_optimization_hints",u"use_optional_variables",b"use_optional_variables",u"use_overload_checker_in_cumulative_constraint",b"use_overload_checker_in_cumulative_constraint",u"use_pb_resolution",b"use_pb_resolution",u"use_phase_saving",b"use_phase_saving",u"use_precedences_in_disjunctive_constraint",b"use_precedences_in_disjunctive_constraint",u"use_probing_search",b"use_probing_search",u"use_relaxation_lns",b"use_relaxation_lns",u"use_rins_lns",b"use_rins_lns",u"use_sat_inprocessing",b"use_sat_inprocessing",u"use_timetable_edge_finding_in_cumulative_constraint",b"use_timetable_edge_finding_in_cumulative_constraint",u"variable_activity_decay",b"variable_activity_decay"]) -> builtins.bool: ...
    def ClearField(self, field_name: typing_extensions.Literal[u"absolute_gap_limit",b"absolute_gap_limit",u"add_cg_cuts",b"add_cg_cuts",u"add_clique_cuts",b"add_clique_cuts",u"add_lin_max_cuts",b"add_lin_max_cuts",u"add_lp_constraints_lazily",b"add_lp_constraints_lazily",u"add_mir_cuts",b"add_mir_cuts",u"add_objective_cut",b"add_objective_cut",u"add_zero_half_cuts",b"add_zero_half_cuts",u"also_bump_variables_in_conflict_reasons",b"also_bump_variables_in_conflict_reasons",u"auto_detect_greater_than_at_least_one_of",b"auto_detect_greater_than_at_least_one_of",u"binary_minimization_algorithm",b"binary_minimization_algorithm",u"binary_search_num_conflicts",b"binary_search_num_conflicts",u"blocking_restart_multiplier",b"blocking_restart_multiplier",u"blocking_restart_window_size",b"blocking_restart_window_size",u"boolean_encoding_level",b"boolean_encoding_level",u"catch_sigint_signal",b"catch_sigint_signal",u"clause_activity_decay",b"clause_activity_decay",u"clause_cleanup_lbd_bound",b"clause_cleanup_lbd_bound",u"clause_cleanup_ordering",b"clause_cleanup_ordering",u"clause_cleanup_period",b"clause_cleanup_period",u"clause_cleanup_protection",b"clause_cleanup_protection",u"clause_cleanup_ratio",b"clause_cleanup_ratio",u"clause_cleanup_target",b"clause_cleanup_target",u"convert_intervals",b"convert_intervals",u"count_assumption_levels_in_lbd",b"count_assumption_levels_in_lbd",u"cover_optimization",b"cover_optimization",u"cp_model_presolve",b"cp_model_presolve",u"cp_model_probing_level",b"cp_model_probing_level",u"cp_model_use_sat_presolve",b"cp_model_use_sat_presolve",u"cut_active_count_decay",b"cut_active_count_decay",u"cut_cleanup_target",b"cut_cleanup_target",u"cut_level",b"cut_level",u"cut_max_active_count_value",b"cut_max_active_count_value",u"debug_crash_on_bad_hint",b"debug_crash_on_bad_hint",u"debug_max_num_presolve_operations",b"debug_max_num_presolve_operations",u"debug_postsolve_with_full_solver",b"debug_postsolve_with_full_solver",u"default_restart_algorithms",b"default_restart_algorithms",u"disable_constraint_expansion",b"disable_constraint_expansion",u"diversify_lns_params",b"diversify_lns_params",u"enumerate_all_solutions",b"enumerate_all_solutions",u"expand_alldiff_constraints",b"expand_alldiff_constraints",u"exploit_all_lp_solution",b"exploit_all_lp_solution",u"exploit_best_solution",b"exploit_best_solution",u"exploit_integer_lp_solution",b"exploit_integer_lp_solution",u"exploit_objective",b"exploit_objective",u"exploit_relaxation_solution",b"exploit_relaxation_solution",u"fill_additional_solutions_in_response",b"fill_additional_solutions_in_response",u"fill_tightened_domains_in_response",b"fill_tightened_domains_in_response",u"find_multiple_cores",b"find_multiple_cores",u"fix_variables_to_their_hinted_value",b"fix_variables_to_their_hinted_value",u"fp_rounding",b"fp_rounding",u"glucose_decay_increment",b"glucose_decay_increment",u"glucose_decay_increment_period",b"glucose_decay_increment_period",u"glucose_max_decay",b"glucose_max_decay",u"hint_conflict_limit",b"hint_conflict_limit",u"initial_polarity",b"initial_polarity",u"initial_variables_activity",b"initial_variables_activity",u"instantiate_all_variables",b"instantiate_all_variables",u"interleave_batch_size",b"interleave_batch_size",u"interleave_search",b"interleave_search",u"keep_all_feasible_solutions_in_presolve",b"keep_all_feasible_solutions_in_presolve",u"linearization_level",b"linearization_level",u"log_prefix",b"log_prefix",u"log_search_progress",b"log_search_progress",u"log_subsolver_statistics",b"log_subsolver_statistics",u"log_to_response",b"log_to_response",u"log_to_stdout",b"log_to_stdout",u"max_all_diff_cut_size",b"max_all_diff_cut_size",u"max_clause_activity_value",b"max_clause_activity_value",u"max_consecutive_inactive_count",b"max_consecutive_inactive_count",u"max_cut_rounds_at_level_zero",b"max_cut_rounds_at_level_zero",u"max_deterministic_time",b"max_deterministic_time",u"max_domain_size_when_encoding_eq_neq_constraints",b"max_domain_size_when_encoding_eq_neq_constraints",u"max_integer_rounding_scaling",b"max_integer_rounding_scaling",u"max_memory_in_mb",b"max_memory_in_mb",u"max_num_cuts",b"max_num_cuts",u"max_number_of_conflicts",b"max_number_of_conflicts",u"max_presolve_iterations",b"max_presolve_iterations",u"max_sat_assumption_order",b"max_sat_assumption_order",u"max_sat_reverse_assumption_order",b"max_sat_reverse_assumption_order",u"max_sat_stratification",b"max_sat_stratification",u"max_time_in_seconds",b"max_time_in_seconds",u"max_variable_activity_value",b"max_variable_activity_value",u"merge_at_most_one_work_limit",b"merge_at_most_one_work_limit",u"merge_no_overlap_work_limit",b"merge_no_overlap_work_limit",u"min_orthogonality_for_lp_constraints",b"min_orthogonality_for_lp_constraints",u"minimization_algorithm",b"minimization_algorithm",u"minimize_core",b"minimize_core",u"minimize_reduction_during_pb_resolution",b"minimize_reduction_during_pb_resolution",u"minimize_with_propagation_num_decisions",b"minimize_with_propagation_num_decisions",u"minimize_with_propagation_restart_period",b"minimize_with_propagation_restart_period",u"mip_automatically_scale_variables",b"mip_automatically_scale_variables",u"mip_check_precision",b"mip_check_precision",u"mip_compute_true_objective_bound",b"mip_compute_true_objective_bound",u"mip_max_activity_exponent",b"mip_max_activity_exponent",u"mip_max_bound",b"mip_max_bound",u"mip_max_valid_magnitude",b"mip_max_valid_magnitude",u"mip_var_scaling",b"mip_var_scaling",u"mip_wanted_precision",b"mip_wanted_precision",u"name",b"name",u"new_constraints_batch_size",b"new_constraints_batch_size",u"num_conflicts_before_strategy_changes",b"num_conflicts_before_strategy_changes",u"num_search_workers",b"num_search_workers",u"only_add_cuts_at_level_zero",b"only_add_cuts_at_level_zero",u"optimize_with_core",b"optimize_with_core",u"optimize_with_lb_tree_search",b"optimize_with_lb_tree_search",u"optimize_with_max_hs",b"optimize_with_max_hs",u"pb_cleanup_increment",b"pb_cleanup_increment",u"pb_cleanup_ratio",b"pb_cleanup_ratio",u"permute_presolve_constraint_order",b"permute_presolve_constraint_order",u"permute_variable_randomly",b"permute_variable_randomly",u"polarity_rephase_increment",b"polarity_rephase_increment",u"polish_lp_solution",b"polish_lp_solution",u"preferred_variable_order",b"preferred_variable_order",u"presolve_blocked_clause",b"presolve_blocked_clause",u"presolve_bva_threshold",b"presolve_bva_threshold",u"presolve_bve_clause_weight",b"presolve_bve_clause_weight",u"presolve_bve_threshold",b"presolve_bve_threshold",u"presolve_extract_integer_enforcement",b"presolve_extract_integer_enforcement",u"presolve_probing_deterministic_time_limit",b"presolve_probing_deterministic_time_limit",u"presolve_substitution_level",b"presolve_substitution_level",u"presolve_use_bva",b"presolve_use_bva",u"probing_period_at_root",b"probing_period_at_root",u"pseudo_cost_reliability_threshold",b"pseudo_cost_reliability_threshold",u"random_branches_ratio",b"random_branches_ratio",u"random_polarity_ratio",b"random_polarity_ratio",u"random_seed",b"random_seed",u"randomize_search",b"randomize_search",u"reduce_memory_usage_in_interleave_mode",b"reduce_memory_usage_in_interleave_mode",u"relative_gap_limit",b"relative_gap_limit",u"repair_hint",b"repair_hint",u"restart_algorithms",b"restart_algorithms",u"restart_dl_average_ratio",b"restart_dl_average_ratio",u"restart_lbd_average_ratio",b"restart_lbd_average_ratio",u"restart_period",b"restart_period",u"restart_running_window_size",b"restart_running_window_size",u"search_branching",b"search_branching",u"search_randomization_tolerance",b"search_randomization_tolerance",u"share_level_zero_bounds",b"share_level_zero_bounds",u"share_objective_bounds",b"share_objective_bounds",u"solution_pool_size",b"solution_pool_size",u"stop_after_first_solution",b"stop_after_first_solution",u"stop_after_presolve",b"stop_after_presolve",u"strategy_change_increase_ratio",b"strategy_change_increase_ratio",u"subsumption_during_conflict_analysis",b"subsumption_during_conflict_analysis",u"symmetry_level",b"symmetry_level",u"treat_binary_clauses_separately",b"treat_binary_clauses_separately",u"use_absl_random",b"use_absl_random",u"use_blocking_restart",b"use_blocking_restart",u"use_branching_in_lp",b"use_branching_in_lp",u"use_combined_no_overlap",b"use_combined_no_overlap",u"use_cumulative_in_no_overlap_2d",b"use_cumulative_in_no_overlap_2d",u"use_disjunctive_constraint_in_cumulative_constraint",b"use_disjunctive_constraint_in_cumulative_constraint",u"use_erwa_heuristic",b"use_erwa_heuristic",u"use_exact_lp_reason",b"use_exact_lp_reason",u"use_feasibility_pump",b"use_feasibility_pump",u"use_implied_bounds",b"use_implied_bounds",u"use_lns_only",b"use_lns_only",u"use_optimization_hints",b"use_optimization_hints",u"use_optional_variables",b"use_optional_variables",u"use_overload_checker_in_cumulative_constraint",b"use_overload_checker_in_cumulative_constraint",u"use_pb_resolution",b"use_pb_resolution",u"use_phase_saving",b"use_phase_saving",u"use_precedences_in_disjunctive_constraint",b"use_precedences_in_disjunctive_constraint",u"use_probing_search",b"use_probing_search",u"use_relaxation_lns",b"use_relaxation_lns",u"use_rins_lns",b"use_rins_lns",u"use_sat_inprocessing",b"use_sat_inprocessing",u"use_timetable_edge_finding_in_cumulative_constraint",b"use_timetable_edge_finding_in_cumulative_constraint",u"variable_activity_decay",b"variable_activity_decay"]) -> None: ...
global___SatParameters = SatParameters
