class OperationsResearch::Sat::SatParameters

Included Modules

Defined in:

ortools-sat/connector/sat_parameters.pb.cr

Constant Summary

FIELDS = {171 => {name: :name, pb_type: :string, crystal_type: String, cast_type: String?, native: true, optional: true, repeated: false, default: "", packed: false}, 1 => {name: :preferred_variable_order, pb_type: SatParameters::VariableOrder, crystal_type: SatParameters::VariableOrder, cast_type: SatParameters::VariableOrder?, native: false, optional: true, repeated: false, default: SatParameters::VariableOrder::INORDER, packed: false}, 2 => {name: :initial_polarity, pb_type: SatParameters::Polarity, crystal_type: SatParameters::Polarity, cast_type: SatParameters::Polarity?, native: false, optional: true, repeated: false, default: SatParameters::Polarity::POLARITYFALSE, packed: false}, 44 => {name: :use_phase_saving, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 168 => {name: :polarity_rephase_increment, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 1000, packed: false}, 45 => {name: :random_polarity_ratio, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0_f64, packed: false}, 32 => {name: :random_branches_ratio, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0_f64, packed: false}, 75 => {name: :use_erwa_heuristic, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 76 => {name: :initial_variables_activity, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0_f64, packed: false}, 77 => {name: :also_bump_variables_in_conflict_reasons, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 4 => {name: :minimization_algorithm, pb_type: SatParameters::ConflictMinimizationAlgorithm, crystal_type: SatParameters::ConflictMinimizationAlgorithm, cast_type: SatParameters::ConflictMinimizationAlgorithm?, native: false, optional: true, repeated: false, default: SatParameters::ConflictMinimizationAlgorithm::RECURSIVE, packed: false}, 34 => {name: :binary_minimization_algorithm, pb_type: SatParameters::BinaryMinizationAlgorithm, crystal_type: SatParameters::BinaryMinizationAlgorithm, cast_type: SatParameters::BinaryMinizationAlgorithm?, native: false, optional: true, repeated: false, default: SatParameters::BinaryMinizationAlgorithm::BINARYMINIMIZATIONFIRST, packed: false}, 56 => {name: :subsumption_during_conflict_analysis, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 11 => {name: :clause_cleanup_period, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 10000, packed: false}, 13 => {name: :clause_cleanup_target, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 0, packed: false}, 190 => {name: :clause_cleanup_ratio, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0.5, packed: false}, 58 => {name: :clause_cleanup_protection, pb_type: SatParameters::ClauseProtection, crystal_type: SatParameters::ClauseProtection, cast_type: SatParameters::ClauseProtection?, native: false, optional: true, repeated: false, default: SatParameters::ClauseProtection::PROTECTIONNONE, packed: false}, 59 => {name: :clause_cleanup_lbd_bound, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 5, packed: false}, 60 => {name: :clause_cleanup_ordering, pb_type: SatParameters::ClauseOrdering, crystal_type: SatParameters::ClauseOrdering, cast_type: SatParameters::ClauseOrdering?, native: false, optional: true, repeated: false, default: SatParameters::ClauseOrdering::CLAUSEACTIVITY, packed: false}, 46 => {name: :pb_cleanup_increment, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 200, packed: false}, 47 => {name: :pb_cleanup_ratio, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0.5, packed: false}, 15 => {name: :variable_activity_decay, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0.8, packed: false}, 16 => {name: :max_variable_activity_value, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 1e+100, packed: false}, 22 => {name: :glucose_max_decay, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0.95, packed: false}, 23 => {name: :glucose_decay_increment, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0.01, packed: false}, 24 => {name: :glucose_decay_increment_period, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 5000, packed: false}, 17 => {name: :clause_activity_decay, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0.999, packed: false}, 18 => {name: :max_clause_activity_value, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 1e+20, packed: false}, 61 => {name: :restart_algorithms, pb_type: SatParameters::RestartAlgorithm, crystal_type: SatParameters::RestartAlgorithm, cast_type: Array(SatParameters::RestartAlgorithm)?, native: false, optional: true, repeated: true, default: nil, packed: false}, 70 => {name: :default_restart_algorithms, pb_type: :string, crystal_type: String, cast_type: String?, native: true, optional: true, repeated: false, default: "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART", packed: false}, 30 => {name: :restart_period, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 50, packed: false}, 62 => {name: :restart_running_window_size, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 50, packed: false}, 63 => {name: :restart_dl_average_ratio, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 1_f64, packed: false}, 71 => {name: :restart_lbd_average_ratio, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 1_f64, packed: false}, 64 => {name: :use_blocking_restart, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 65 => {name: :blocking_restart_window_size, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 5000, packed: false}, 66 => {name: :blocking_restart_multiplier, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 1.4, packed: false}, 68 => {name: :num_conflicts_before_strategy_changes, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 0, packed: false}, 69 => {name: :strategy_change_increase_ratio, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0_f64, packed: false}, 36 => {name: :max_time_in_seconds, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: inf_f64, packed: false}, 67 => {name: :max_deterministic_time, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: inf_f64, packed: false}, 37 => {name: :max_number_of_conflicts, pb_type: :int64, crystal_type: Int64, cast_type: Int64?, native: true, optional: true, repeated: false, default: 9223372036854775807_i64, packed: false}, 40 => {name: :max_memory_in_mb, pb_type: :int64, crystal_type: Int64, cast_type: Int64?, native: true, optional: true, repeated: false, default: 10000_i64, packed: false}, 159 => {name: :absolute_gap_limit, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0.0001, packed: false}, 160 => {name: :relative_gap_limit, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0_f64, packed: false}, 31 => {name: :random_seed, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 1, packed: false}, 178 => {name: :permute_variable_randomly, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 179 => {name: :permute_presolve_constraint_order, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 180 => {name: :use_absl_random, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 41 => {name: :log_search_progress, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 189 => {name: :log_subsolver_statistics, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 185 => {name: :log_prefix, pb_type: :string, crystal_type: String, cast_type: String?, native: true, optional: true, repeated: false, default: "", packed: false}, 186 => {name: :log_to_stdout, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 187 => {name: :log_to_response, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 43 => {name: :use_pb_resolution, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 48 => {name: :minimize_reduction_during_pb_resolution, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 49 => {name: :count_assumption_levels_in_lbd, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 54 => {name: :presolve_bve_threshold, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 500, packed: false}, 55 => {name: :presolve_bve_clause_weight, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 3, packed: false}, 226 => {name: :probing_deterministic_time_limit, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 1_f64, packed: false}, 57 => {name: :presolve_probing_deterministic_time_limit, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 30_f64, packed: false}, 88 => {name: :presolve_blocked_clause, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 72 => {name: :presolve_use_bva, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 73 => {name: :presolve_bva_threshold, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 1, packed: false}, 138 => {name: :max_presolve_iterations, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 3, packed: false}, 86 => {name: :cp_model_presolve, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 110 => {name: :cp_model_probing_level, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 2, packed: false}, 93 => {name: :cp_model_use_sat_presolve, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 216 => {name: :detect_table_with_cost, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 217 => {name: :table_compression_level, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 2, packed: false}, 170 => {name: :expand_alldiff_constraints, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 182 => {name: :expand_reservoir_constraints, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 280 => {name: :max_lin_max_size_for_expansion, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 0, packed: false}, 181 => {name: :disable_constraint_expansion, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 223 => {name: :encode_complex_linear_constraint_with_integer, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 145 => {name: :merge_no_overlap_work_limit, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 1000000000000_f64, packed: false}, 146 => {name: :merge_at_most_one_work_limit, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 100000000_f64, packed: false}, 147 => {name: :presolve_substitution_level, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 1, packed: false}, 174 => {name: :presolve_extract_integer_enforcement, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 201 => {name: :presolve_inclusion_work_limit, pb_type: :int64, crystal_type: Int64, cast_type: Int64?, native: true, optional: true, repeated: false, default: 100000000_i64, packed: false}, 202 => {name: :ignore_names, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 233 => {name: :infer_all_diffs, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 234 => {name: :find_big_linear_overlap, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 163 => {name: :use_sat_inprocessing, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 273 => {name: :inprocessing_dtime_ratio, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0.2, packed: false}, 274 => {name: :inprocessing_probing_dtime, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 1_f64, packed: false}, 275 => {name: :inprocessing_minimization_dtime, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 1_f64, packed: false}, 206 => {name: :num_workers, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 0, packed: false}, 100 => {name: :num_search_workers, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 0, packed: false}, 211 => {name: :min_num_lns_workers, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 2, packed: false}, 207 => {name: :subsolvers, pb_type: :string, crystal_type: String, cast_type: Array(String)?, native: true, optional: true, repeated: true, default: nil, packed: false}, 219 => {name: :extra_subsolvers, pb_type: :string, crystal_type: String, cast_type: Array(String)?, native: true, optional: true, repeated: true, default: nil, packed: false}, 209 => {name: :ignore_subsolvers, pb_type: :string, crystal_type: String, cast_type: Array(String)?, native: true, optional: true, repeated: true, default: nil, packed: false}, 210 => {name: :subsolver_params, pb_type: SatParameters, crystal_type: SatParameters, cast_type: Array(SatParameters)?, native: false, optional: true, repeated: true, default: nil, packed: false}, 136 => {name: :interleave_search, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 134 => {name: :interleave_batch_size, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 0, packed: false}, 113 => {name: :share_objective_bounds, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 114 => {name: :share_level_zero_bounds, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 203 => {name: :share_binary_clauses, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 162 => {name: :debug_postsolve_with_full_solver, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 151 => {name: :debug_max_num_presolve_operations, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 0, packed: false}, 195 => {name: :debug_crash_on_bad_hint, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 35 => {name: :use_optimization_hints, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 50 => {name: :core_minimization_level, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 2, packed: false}, 84 => {name: :find_multiple_cores, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 89 => {name: :cover_optimization, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 51 => {name: :max_sat_assumption_order, pb_type: SatParameters::MaxSatAssumptionOrder, crystal_type: SatParameters::MaxSatAssumptionOrder, cast_type: SatParameters::MaxSatAssumptionOrder?, native: false, optional: true, repeated: false, default: SatParameters::MaxSatAssumptionOrder::DEFAULTASSUMPTIONORDER, packed: false}, 52 => {name: :max_sat_reverse_assumption_order, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 53 => {name: :max_sat_stratification, pb_type: SatParameters::MaxSatStratificationAlgorithm, crystal_type: SatParameters::MaxSatStratificationAlgorithm, cast_type: SatParameters::MaxSatStratificationAlgorithm?, native: false, optional: true, repeated: false, default: SatParameters::MaxSatStratificationAlgorithm::STRATIFICATIONDESCENT, packed: false}, 221 => {name: :propagation_loop_detection_factor, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 10_f64, packed: false}, 74 => {name: :use_precedences_in_disjunctive_constraint, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 229 => {name: :max_size_to_create_precedence_literals_in_disjunctive, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 60, packed: false}, 230 => {name: :use_strong_propagation_in_disjunctive, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 263 => {name: :use_dynamic_precedence_in_disjunctive, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 268 => {name: :use_dynamic_precedence_in_cumulative, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 78 => {name: :use_overload_checker_in_cumulative, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 79 => {name: :use_timetable_edge_finding_in_cumulative, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 260 => {name: :max_num_intervals_for_timetable_edge_finding, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 100, packed: false}, 215 => {name: :use_hard_precedences_in_cumulative, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 220 => {name: :exploit_all_precedences, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 80 => {name: :use_disjunctive_constraint_in_cumulative, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 200 => {name: :use_timetabling_in_no_overlap_2d, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 213 => {name: :use_energetic_reasoning_in_no_overlap_2d, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 271 => {name: :use_area_energetic_reasoning_in_no_overlap_2d, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 276 => {name: :max_pairs_pairwise_reasoning_in_no_overlap_2d, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 1250, packed: false}, 214 => {name: :use_dual_scheduling_heuristics, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 82 => {name: :search_branching, pb_type: SatParameters::SearchBranching, crystal_type: SatParameters::SearchBranching, cast_type: SatParameters::SearchBranching?, native: false, optional: true, repeated: false, default: SatParameters::SearchBranching::AUTOMATICSEARCH, packed: false}, 153 => {name: :hint_conflict_limit, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 10, packed: false}, 167 => {name: :repair_hint, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 192 => {name: :fix_variables_to_their_hinted_value, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 176 => {name: :use_probing_search, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 269 => {name: :use_extended_probing, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 272 => {name: :probing_num_combinations_limit, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 20000, packed: false}, 204 => {name: :use_shaving_in_probing_search, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 205 => {name: :shaving_search_deterministic_time, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0.001, packed: false}, 228 => {name: :use_objective_lb_search, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 253 => {name: :use_objective_shaving_search, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 123 => {name: :pseudo_cost_reliability_threshold, pb_type: :int64, crystal_type: Int64, cast_type: Int64?, native: true, optional: true, repeated: false, default: 100_i64, packed: false}, 83 => {name: :optimize_with_core, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 188 => {name: :optimize_with_lb_tree_search, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 99 => {name: :binary_search_num_conflicts, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: -1, packed: false}, 85 => {name: :optimize_with_max_hs, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 265 => {name: :use_feasibility_jump, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 240 => {name: :test_feasibility_jump, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 242 => {name: :feasibility_jump_decay, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0.95, packed: false}, 257 => {name: :feasibility_jump_linearization_level, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 2, packed: false}, 258 => {name: :feasibility_jump_restart_factor, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 1, packed: false}, 247 => {name: :feasibility_jump_var_randomization_probability, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0_f64, packed: false}, 248 => {name: :feasibility_jump_var_perburbation_range_ratio, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0.2, packed: false}, 250 => {name: :feasibility_jump_enable_restarts, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 264 => {name: :feasibility_jump_max_expanded_constraint_size, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 100, packed: false}, 244 => {name: :num_violation_ls, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 0, packed: false}, 249 => {name: :violation_ls_perturbation_period, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 100, packed: false}, 259 => {name: :violation_ls_compound_move_probability, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0.5, packed: false}, 235 => {name: :shared_tree_num_workers, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 0, packed: false}, 236 => {name: :use_shared_tree_search, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 237 => {name: :shared_tree_worker_objective_split_probability, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0.5, packed: false}, 282 => {name: :shared_tree_worker_min_restarts_per_subtree, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 32, packed: false}, 281 => {name: :shared_tree_open_leaves_per_worker, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 2_f64, packed: false}, 238 => {name: :shared_tree_max_nodes_per_worker, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 128, packed: false}, 239 => {name: :shared_tree_split_strategy, pb_type: SatParameters::SharedTreeSplitStrategy, crystal_type: SatParameters::SharedTreeSplitStrategy, cast_type: SatParameters::SharedTreeSplitStrategy?, native: false, optional: true, repeated: false, default: SatParameters::SharedTreeSplitStrategy::SPLITSTRATEGYAUTO, packed: false}, 87 => {name: :enumerate_all_solutions, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 173 => {name: :keep_all_feasible_solutions_in_presolve, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 132 => {name: :fill_tightened_domains_in_response, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 194 => {name: :fill_additional_solutions_in_response, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 106 => {name: :instantiate_all_variables, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 95 => {name: :auto_detect_greater_than_at_least_one_of, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 98 => {name: :stop_after_first_solution, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 149 => {name: :stop_after_presolve, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 252 => {name: :stop_after_root_propagation, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 283 => {name: :use_lns, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 101 => {name: :use_lns_only, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 193 => {name: :solution_pool_size, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 3, packed: false}, 129 => {name: :use_rins_lns, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 164 => {name: :use_feasibility_pump, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 255 => {name: :use_lb_relax_lns, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 165 => {name: :fp_rounding, pb_type: SatParameters::FPRoundingMethod, crystal_type: SatParameters::FPRoundingMethod, cast_type: SatParameters::FPRoundingMethod?, native: false, optional: true, repeated: false, default: SatParameters::FPRoundingMethod::PROPAGATIONASSISTED, packed: false}, 137 => {name: :diversify_lns_params, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 103 => {name: :randomize_search, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 104 => {name: :search_random_variable_pool_size, pb_type: :int64, crystal_type: Int64, cast_type: Int64?, native: true, optional: true, repeated: false, default: 0_i64, packed: false}, 262 => {name: :push_all_tasks_toward_start, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 108 => {name: :use_optional_variables, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 109 => {name: :use_exact_lp_reason, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 133 => {name: :use_combined_no_overlap, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 270 => {name: :at_most_one_max_expansion_size, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 3, packed: false}, 135 => {name: :catch_sigint_signal, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 144 => {name: :use_implied_bounds, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 175 => {name: :polish_lp_solution, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 266 => {name: :lp_primal_tolerance, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 1e-07, packed: false}, 267 => {name: :lp_dual_tolerance, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 1e-07, packed: false}, 177 => {name: :convert_intervals, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 183 => {name: :symmetry_level, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 2, packed: false}, 224 => {name: :new_linear_propagation, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 256 => {name: :linear_split_size, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 100, packed: false}, 90 => {name: :linearization_level, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 1, packed: false}, 107 => {name: :boolean_encoding_level, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 1, packed: false}, 191 => {name: :max_domain_size_when_encoding_eq_neq_constraints, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 16, packed: false}, 91 => {name: :max_num_cuts, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 10000, packed: false}, 196 => {name: :cut_level, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 1, packed: false}, 92 => {name: :only_add_cuts_at_level_zero, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 197 => {name: :add_objective_cut, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 117 => {name: :add_cg_cuts, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 120 => {name: :add_mir_cuts, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 169 => {name: :add_zero_half_cuts, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 172 => {name: :add_clique_cuts, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 279 => {name: :add_rlt_cuts, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 148 => {name: :max_all_diff_cut_size, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 64, packed: false}, 152 => {name: :add_lin_max_cuts, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 119 => {name: :max_integer_rounding_scaling, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 600, packed: false}, 112 => {name: :add_lp_constraints_lazily, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 227 => {name: :root_lp_iterations, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 2000, packed: false}, 115 => {name: :min_orthogonality_for_lp_constraints, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0.05, packed: false}, 154 => {name: :max_cut_rounds_at_level_zero, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 1, packed: false}, 121 => {name: :max_consecutive_inactive_count, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 100, packed: false}, 155 => {name: :cut_max_active_count_value, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 10000000000_f64, packed: false}, 156 => {name: :cut_active_count_decay, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0.8, packed: false}, 157 => {name: :cut_cleanup_target, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 1000, packed: false}, 122 => {name: :new_constraints_batch_size, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 50, packed: false}, 94 => {name: :exploit_integer_lp_solution, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 116 => {name: :exploit_all_lp_solution, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 130 => {name: :exploit_best_solution, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 161 => {name: :exploit_relaxation_solution, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 131 => {name: :exploit_objective, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 277 => {name: :detect_linearized_product, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 124 => {name: :mip_max_bound, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 10000000_f64, packed: false}, 125 => {name: :mip_var_scaling, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 1_f64, packed: false}, 225 => {name: :mip_scale_large_domain, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 166 => {name: :mip_automatically_scale_variables, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 222 => {name: :only_solve_ip, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 126 => {name: :mip_wanted_precision, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 1e-06, packed: false}, 127 => {name: :mip_max_activity_exponent, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 53, packed: false}, 128 => {name: :mip_check_precision, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 0.0001, packed: false}, 198 => {name: :mip_compute_true_objective_bound, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: true, packed: false}, 199 => {name: :mip_max_valid_magnitude, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 1e+20, packed: false}, 278 => {name: :mip_treat_high_magnitude_bounds_as_infinity, pb_type: :bool, crystal_type: Bool, cast_type: Bool?, native: true, optional: true, repeated: false, default: false, packed: false}, 232 => {name: :mip_drop_tolerance, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: 1e-16, packed: false}, 261 => {name: :mip_presolve_level, pb_type: :int32, crystal_type: Int32, cast_type: Int32?, native: true, optional: true, repeated: false, default: 2, packed: false}} of Int32 => HashLiteral(Symbol, ASTNode)

Constructors

Class Method Summary

Instance Method Summary

Constructor Detail

def self.new(buf : Protobuf::Buffer) #

def self.new(name : String | Nil = "".as(String), preferred_variable_order : SatParameters::VariableOrder | Nil = SatParameters::VariableOrder::INORDER.as(SatParameters::VariableOrder), initial_polarity : SatParameters::Polarity | Nil = SatParameters::Polarity::POLARITYFALSE.as(SatParameters::Polarity), use_phase_saving : Bool | Nil = true.as(Bool), polarity_rephase_increment : Int32 | Nil = 1000.as(Int32), random_polarity_ratio : Float64 | Nil = 0_f64.as(Float64), random_branches_ratio : Float64 | Nil = 0_f64.as(Float64), use_erwa_heuristic : Bool | Nil = false.as(Bool), initial_variables_activity : Float64 | Nil = 0_f64.as(Float64), also_bump_variables_in_conflict_reasons : Bool | Nil = false.as(Bool), minimization_algorithm : SatParameters::ConflictMinimizationAlgorithm | Nil = SatParameters::ConflictMinimizationAlgorithm::RECURSIVE.as(SatParameters::ConflictMinimizationAlgorithm), binary_minimization_algorithm : SatParameters::BinaryMinizationAlgorithm | Nil = SatParameters::BinaryMinizationAlgorithm::BINARYMINIMIZATIONFIRST.as(SatParameters::BinaryMinizationAlgorithm), subsumption_during_conflict_analysis : Bool | Nil = true.as(Bool), clause_cleanup_period : Int32 | Nil = 10000.as(Int32), clause_cleanup_target : Int32 | Nil = 0.as(Int32), clause_cleanup_ratio : Float64 | Nil = 0.5.as(Float64), clause_cleanup_protection : SatParameters::ClauseProtection | Nil = SatParameters::ClauseProtection::PROTECTIONNONE.as(SatParameters::ClauseProtection), clause_cleanup_lbd_bound : Int32 | Nil = 5.as(Int32), clause_cleanup_ordering : SatParameters::ClauseOrdering | Nil = SatParameters::ClauseOrdering::CLAUSEACTIVITY.as(SatParameters::ClauseOrdering), pb_cleanup_increment : Int32 | Nil = 200.as(Int32), pb_cleanup_ratio : Float64 | Nil = 0.5.as(Float64), variable_activity_decay : Float64 | Nil = 0.8.as(Float64), max_variable_activity_value : Float64 | Nil = 1e+100.as(Float64), glucose_max_decay : Float64 | Nil = 0.95.as(Float64), glucose_decay_increment : Float64 | Nil = 0.01.as(Float64), glucose_decay_increment_period : Int32 | Nil = 5000.as(Int32), clause_activity_decay : Float64 | Nil = 0.999.as(Float64), max_clause_activity_value : Float64 | Nil = 1e+20.as(Float64), restart_algorithms : Array(SatParameters::RestartAlgorithm) | Nil = nil, default_restart_algorithms : String | Nil = "LUBY_RESTART,LBD_MOVING_AVERAGE_RESTART,DL_MOVING_AVERAGE_RESTART".as(String), restart_period : Int32 | Nil = 50.as(Int32), restart_running_window_size : Int32 | Nil = 50.as(Int32), restart_dl_average_ratio : Float64 | Nil = 1_f64.as(Float64), restart_lbd_average_ratio : Float64 | Nil = 1_f64.as(Float64), use_blocking_restart : Bool | Nil = false.as(Bool), blocking_restart_window_size : Int32 | Nil = 5000.as(Int32), blocking_restart_multiplier : Float64 | Nil = 1.4.as(Float64), num_conflicts_before_strategy_changes : Int32 | Nil = 0.as(Int32), strategy_change_increase_ratio : Float64 | Nil = 0_f64.as(Float64), max_time_in_seconds : Float64 | Nil = inf_f64.as(Float64), max_deterministic_time : Float64 | Nil = inf_f64.as(Float64), max_number_of_conflicts : Int64 | Nil = 9223372036854775807_i64.as(Int64), max_memory_in_mb : Int64 | Nil = 10000_i64.as(Int64), absolute_gap_limit : Float64 | Nil = 0.0001.as(Float64), relative_gap_limit : Float64 | Nil = 0_f64.as(Float64), random_seed : Int32 | Nil = 1.as(Int32), permute_variable_randomly : Bool | Nil = false.as(Bool), permute_presolve_constraint_order : Bool | Nil = false.as(Bool), use_absl_random : Bool | Nil = false.as(Bool), log_search_progress : Bool | Nil = false.as(Bool), log_subsolver_statistics : Bool | Nil = false.as(Bool), log_prefix : String | Nil = "".as(String), log_to_stdout : Bool | Nil = true.as(Bool), log_to_response : Bool | Nil = false.as(Bool), use_pb_resolution : Bool | Nil = false.as(Bool), minimize_reduction_during_pb_resolution : Bool | Nil = false.as(Bool), count_assumption_levels_in_lbd : Bool | Nil = true.as(Bool), presolve_bve_threshold : Int32 | Nil = 500.as(Int32), presolve_bve_clause_weight : Int32 | Nil = 3.as(Int32), probing_deterministic_time_limit : Float64 | Nil = 1_f64.as(Float64), presolve_probing_deterministic_time_limit : Float64 | Nil = 30_f64.as(Float64), presolve_blocked_clause : Bool | Nil = true.as(Bool), presolve_use_bva : Bool | Nil = true.as(Bool), presolve_bva_threshold : Int32 | Nil = 1.as(Int32), max_presolve_iterations : Int32 | Nil = 3.as(Int32), cp_model_presolve : Bool | Nil = true.as(Bool), cp_model_probing_level : Int32 | Nil = 2.as(Int32), cp_model_use_sat_presolve : Bool | Nil = true.as(Bool), detect_table_with_cost : Bool | Nil = false.as(Bool), table_compression_level : Int32 | Nil = 2.as(Int32), expand_alldiff_constraints : Bool | Nil = false.as(Bool), expand_reservoir_constraints : Bool | Nil = true.as(Bool), max_lin_max_size_for_expansion : Int32 | Nil = 0.as(Int32), disable_constraint_expansion : Bool | Nil = false.as(Bool), encode_complex_linear_constraint_with_integer : Bool | Nil = false.as(Bool), merge_no_overlap_work_limit : Float64 | Nil = 1000000000000_f64.as(Float64), merge_at_most_one_work_limit : Float64 | Nil = 100000000_f64.as(Float64), presolve_substitution_level : Int32 | Nil = 1.as(Int32), presolve_extract_integer_enforcement : Bool | Nil = false.as(Bool), presolve_inclusion_work_limit : Int64 | Nil = 100000000_i64.as(Int64), ignore_names : Bool | Nil = true.as(Bool), infer_all_diffs : Bool | Nil = true.as(Bool), find_big_linear_overlap : Bool | Nil = true.as(Bool), use_sat_inprocessing : Bool | Nil = true.as(Bool), inprocessing_dtime_ratio : Float64 | Nil = 0.2.as(Float64), inprocessing_probing_dtime : Float64 | Nil = 1_f64.as(Float64), inprocessing_minimization_dtime : Float64 | Nil = 1_f64.as(Float64), num_workers : Int32 | Nil = 0.as(Int32), num_search_workers : Int32 | Nil = 0.as(Int32), min_num_lns_workers : Int32 | Nil = 2.as(Int32), subsolvers : Array(String) | Nil = nil, extra_subsolvers : Array(String) | Nil = nil, ignore_subsolvers : Array(String) | Nil = nil, subsolver_params : Array(SatParameters) | Nil = nil, interleave_search : Bool | Nil = false.as(Bool), interleave_batch_size : Int32 | Nil = 0.as(Int32), share_objective_bounds : Bool | Nil = true.as(Bool), share_level_zero_bounds : Bool | Nil = true.as(Bool), share_binary_clauses : Bool | Nil = true.as(Bool), debug_postsolve_with_full_solver : Bool | Nil = false.as(Bool), debug_max_num_presolve_operations : Int32 | Nil = 0.as(Int32), debug_crash_on_bad_hint : Bool | Nil = false.as(Bool), use_optimization_hints : Bool | Nil = true.as(Bool), core_minimization_level : Int32 | Nil = 2.as(Int32), find_multiple_cores : Bool | Nil = true.as(Bool), cover_optimization : Bool | Nil = true.as(Bool), max_sat_assumption_order : SatParameters::MaxSatAssumptionOrder | Nil = SatParameters::MaxSatAssumptionOrder::DEFAULTASSUMPTIONORDER.as(SatParameters::MaxSatAssumptionOrder), max_sat_reverse_assumption_order : Bool | Nil = false.as(Bool), max_sat_stratification : SatParameters::MaxSatStratificationAlgorithm | Nil = SatParameters::MaxSatStratificationAlgorithm::STRATIFICATIONDESCENT.as(SatParameters::MaxSatStratificationAlgorithm), propagation_loop_detection_factor : Float64 | Nil = 10_f64.as(Float64), use_precedences_in_disjunctive_constraint : Bool | Nil = true.as(Bool), max_size_to_create_precedence_literals_in_disjunctive : Int32 | Nil = 60.as(Int32), use_strong_propagation_in_disjunctive : Bool | Nil = false.as(Bool), use_dynamic_precedence_in_disjunctive : Bool | Nil = false.as(Bool), use_dynamic_precedence_in_cumulative : Bool | Nil = false.as(Bool), use_overload_checker_in_cumulative : Bool | Nil = false.as(Bool), use_timetable_edge_finding_in_cumulative : Bool | Nil = false.as(Bool), max_num_intervals_for_timetable_edge_finding : Int32 | Nil = 100.as(Int32), use_hard_precedences_in_cumulative : Bool | Nil = false.as(Bool), exploit_all_precedences : Bool | Nil = false.as(Bool), use_disjunctive_constraint_in_cumulative : Bool | Nil = true.as(Bool), use_timetabling_in_no_overlap_2d : Bool | Nil = false.as(Bool), use_energetic_reasoning_in_no_overlap_2d : Bool | Nil = false.as(Bool), use_area_energetic_reasoning_in_no_overlap_2d : Bool | Nil = false.as(Bool), max_pairs_pairwise_reasoning_in_no_overlap_2d : Int32 | Nil = 1250.as(Int32), use_dual_scheduling_heuristics : Bool | Nil = true.as(Bool), search_branching : SatParameters::SearchBranching | Nil = SatParameters::SearchBranching::AUTOMATICSEARCH.as(SatParameters::SearchBranching), hint_conflict_limit : Int32 | Nil = 10.as(Int32), repair_hint : Bool | Nil = false.as(Bool), fix_variables_to_their_hinted_value : Bool | Nil = false.as(Bool), use_probing_search : Bool | Nil = false.as(Bool), use_extended_probing : Bool | Nil = true.as(Bool), probing_num_combinations_limit : Int32 | Nil = 20000.as(Int32), use_shaving_in_probing_search : Bool | Nil = true.as(Bool), shaving_search_deterministic_time : Float64 | Nil = 0.001.as(Float64), use_objective_lb_search : Bool | Nil = false.as(Bool), use_objective_shaving_search : Bool | Nil = false.as(Bool), pseudo_cost_reliability_threshold : Int64 | Nil = 100_i64.as(Int64), optimize_with_core : Bool | Nil = false.as(Bool), optimize_with_lb_tree_search : Bool | Nil = false.as(Bool), binary_search_num_conflicts : Int32 | Nil = -1.as(Int32), optimize_with_max_hs : Bool | Nil = false.as(Bool), use_feasibility_jump : Bool | Nil = true.as(Bool), test_feasibility_jump : Bool | Nil = false.as(Bool), feasibility_jump_decay : Float64 | Nil = 0.95.as(Float64), feasibility_jump_linearization_level : Int32 | Nil = 2.as(Int32), feasibility_jump_restart_factor : Int32 | Nil = 1.as(Int32), feasibility_jump_var_randomization_probability : Float64 | Nil = 0_f64.as(Float64), feasibility_jump_var_perburbation_range_ratio : Float64 | Nil = 0.2.as(Float64), feasibility_jump_enable_restarts : Bool | Nil = true.as(Bool), feasibility_jump_max_expanded_constraint_size : Int32 | Nil = 100.as(Int32), num_violation_ls : Int32 | Nil = 0.as(Int32), violation_ls_perturbation_period : Int32 | Nil = 100.as(Int32), violation_ls_compound_move_probability : Float64 | Nil = 0.5.as(Float64), shared_tree_num_workers : Int32 | Nil = 0.as(Int32), use_shared_tree_search : Bool | Nil = false.as(Bool), shared_tree_worker_objective_split_probability : Float64 | Nil = 0.5.as(Float64), shared_tree_worker_min_restarts_per_subtree : Int32 | Nil = 32.as(Int32), shared_tree_open_leaves_per_worker : Float64 | Nil = 2_f64.as(Float64), shared_tree_max_nodes_per_worker : Int32 | Nil = 128.as(Int32), shared_tree_split_strategy : SatParameters::SharedTreeSplitStrategy | Nil = SatParameters::SharedTreeSplitStrategy::SPLITSTRATEGYAUTO.as(SatParameters::SharedTreeSplitStrategy), enumerate_all_solutions : Bool | Nil = false.as(Bool), keep_all_feasible_solutions_in_presolve : Bool | Nil = false.as(Bool), fill_tightened_domains_in_response : Bool | Nil = false.as(Bool), fill_additional_solutions_in_response : Bool | Nil = false.as(Bool), instantiate_all_variables : Bool | Nil = true.as(Bool), auto_detect_greater_than_at_least_one_of : Bool | Nil = true.as(Bool), stop_after_first_solution : Bool | Nil = false.as(Bool), stop_after_presolve : Bool | Nil = false.as(Bool), stop_after_root_propagation : Bool | Nil = false.as(Bool), use_lns : Bool | Nil = true.as(Bool), use_lns_only : Bool | Nil = false.as(Bool), solution_pool_size : Int32 | Nil = 3.as(Int32), use_rins_lns : Bool | Nil = true.as(Bool), use_feasibility_pump : Bool | Nil = true.as(Bool), use_lb_relax_lns : Bool | Nil = false.as(Bool), fp_rounding : SatParameters::FPRoundingMethod | Nil = SatParameters::FPRoundingMethod::PROPAGATIONASSISTED.as(SatParameters::FPRoundingMethod), diversify_lns_params : Bool | Nil = false.as(Bool), randomize_search : Bool | Nil = false.as(Bool), search_random_variable_pool_size : Int64 | Nil = 0_i64.as(Int64), push_all_tasks_toward_start : Bool | Nil = false.as(Bool), use_optional_variables : Bool | Nil = false.as(Bool), use_exact_lp_reason : Bool | Nil = true.as(Bool), use_combined_no_overlap : Bool | Nil = false.as(Bool), at_most_one_max_expansion_size : Int32 | Nil = 3.as(Int32), catch_sigint_signal : Bool | Nil = true.as(Bool), use_implied_bounds : Bool | Nil = true.as(Bool), polish_lp_solution : Bool | Nil = false.as(Bool), lp_primal_tolerance : Float64 | Nil = 1e-07.as(Float64), lp_dual_tolerance : Float64 | Nil = 1e-07.as(Float64), convert_intervals : Bool | Nil = true.as(Bool), symmetry_level : Int32 | Nil = 2.as(Int32), new_linear_propagation : Bool | Nil = true.as(Bool), linear_split_size : Int32 | Nil = 100.as(Int32), linearization_level : Int32 | Nil = 1.as(Int32), boolean_encoding_level : Int32 | Nil = 1.as(Int32), max_domain_size_when_encoding_eq_neq_constraints : Int32 | Nil = 16.as(Int32), max_num_cuts : Int32 | Nil = 10000.as(Int32), cut_level : Int32 | Nil = 1.as(Int32), only_add_cuts_at_level_zero : Bool | Nil = false.as(Bool), add_objective_cut : Bool | Nil = false.as(Bool), add_cg_cuts : Bool | Nil = true.as(Bool), add_mir_cuts : Bool | Nil = true.as(Bool), add_zero_half_cuts : Bool | Nil = true.as(Bool), add_clique_cuts : Bool | Nil = true.as(Bool), add_rlt_cuts : Bool | Nil = true.as(Bool), max_all_diff_cut_size : Int32 | Nil = 64.as(Int32), add_lin_max_cuts : Bool | Nil = true.as(Bool), max_integer_rounding_scaling : Int32 | Nil = 600.as(Int32), add_lp_constraints_lazily : Bool | Nil = true.as(Bool), root_lp_iterations : Int32 | Nil = 2000.as(Int32), min_orthogonality_for_lp_constraints : Float64 | Nil = 0.05.as(Float64), max_cut_rounds_at_level_zero : Int32 | Nil = 1.as(Int32), max_consecutive_inactive_count : Int32 | Nil = 100.as(Int32), cut_max_active_count_value : Float64 | Nil = 10000000000_f64.as(Float64), cut_active_count_decay : Float64 | Nil = 0.8.as(Float64), cut_cleanup_target : Int32 | Nil = 1000.as(Int32), new_constraints_batch_size : Int32 | Nil = 50.as(Int32), exploit_integer_lp_solution : Bool | Nil = true.as(Bool), exploit_all_lp_solution : Bool | Nil = true.as(Bool), exploit_best_solution : Bool | Nil = false.as(Bool), exploit_relaxation_solution : Bool | Nil = false.as(Bool), exploit_objective : Bool | Nil = true.as(Bool), detect_linearized_product : Bool | Nil = false.as(Bool), mip_max_bound : Float64 | Nil = 10000000_f64.as(Float64), mip_var_scaling : Float64 | Nil = 1_f64.as(Float64), mip_scale_large_domain : Bool | Nil = false.as(Bool), mip_automatically_scale_variables : Bool | Nil = true.as(Bool), only_solve_ip : Bool | Nil = false.as(Bool), mip_wanted_precision : Float64 | Nil = 1e-06.as(Float64), mip_max_activity_exponent : Int32 | Nil = 53.as(Int32), mip_check_precision : Float64 | Nil = 0.0001.as(Float64), mip_compute_true_objective_bound : Bool | Nil = true.as(Bool), mip_max_valid_magnitude : Float64 | Nil = 1e+20.as(Float64), mip_treat_high_magnitude_bounds_as_infinity : Bool | Nil = false.as(Bool), mip_drop_tolerance : Float64 | Nil = 1e-16.as(Float64), mip_presolve_level : Int32 | Nil = 2.as(Int32)) #

Class Method Detail

def self.from_protobuf(io) #

Instance Method Detail

def [](key : String) #

def absolute_gap_limit : Float64 | Nil #

def absolute_gap_limit=(absolute_gap_limit : Float64 | Nil) #

def add_cg_cuts : Bool | Nil #

def add_cg_cuts=(add_cg_cuts : Bool | Nil) #

def add_clique_cuts : Bool | Nil #

def add_clique_cuts=(add_clique_cuts : Bool | Nil) #

def add_lin_max_cuts : Bool | Nil #

def add_lin_max_cuts=(add_lin_max_cuts : Bool | Nil) #

def add_lp_constraints_lazily : Bool | Nil #

def add_lp_constraints_lazily=(add_lp_constraints_lazily : Bool | Nil) #

def add_mir_cuts : Bool | Nil #

def add_mir_cuts=(add_mir_cuts : Bool | Nil) #

def add_objective_cut : Bool | Nil #

def add_objective_cut=(add_objective_cut : Bool | Nil) #

def add_rlt_cuts : Bool | Nil #

def add_rlt_cuts=(add_rlt_cuts : Bool | Nil) #

def add_zero_half_cuts : Bool | Nil #

def add_zero_half_cuts=(add_zero_half_cuts : Bool | Nil) #

def also_bump_variables_in_conflict_reasons : Bool | Nil #

def also_bump_variables_in_conflict_reasons=(also_bump_variables_in_conflict_reasons : Bool | Nil) #

def at_most_one_max_expansion_size : Int32 | Nil #

def at_most_one_max_expansion_size=(at_most_one_max_expansion_size : Int32 | Nil) #

def auto_detect_greater_than_at_least_one_of : Bool | Nil #

def auto_detect_greater_than_at_least_one_of=(auto_detect_greater_than_at_least_one_of : Bool | Nil) #

def binary_minimization_algorithm : SatParameters::BinaryMinizationAlgorithm | Nil #

def binary_minimization_algorithm=(binary_minimization_algorithm : SatParameters::BinaryMinizationAlgorithm | Nil) #

def binary_search_num_conflicts : Int32 | Nil #

def binary_search_num_conflicts=(binary_search_num_conflicts : Int32 | Nil) #

def blocking_restart_multiplier : Float64 | Nil #

def blocking_restart_multiplier=(blocking_restart_multiplier : Float64 | Nil) #

def blocking_restart_window_size : Int32 | Nil #

def blocking_restart_window_size=(blocking_restart_window_size : Int32 | Nil) #

def boolean_encoding_level : Int32 | Nil #

def boolean_encoding_level=(boolean_encoding_level : Int32 | Nil) #

def catch_sigint_signal : Bool | Nil #

def catch_sigint_signal=(catch_sigint_signal : Bool | Nil) #

def clause_activity_decay : Float64 | Nil #

def clause_activity_decay=(clause_activity_decay : Float64 | Nil) #

def clause_cleanup_lbd_bound : Int32 | Nil #

def clause_cleanup_lbd_bound=(clause_cleanup_lbd_bound : Int32 | Nil) #

def clause_cleanup_ordering : SatParameters::ClauseOrdering | Nil #

def clause_cleanup_ordering=(clause_cleanup_ordering : SatParameters::ClauseOrdering | Nil) #

def clause_cleanup_period : Int32 | Nil #

def clause_cleanup_period=(clause_cleanup_period : Int32 | Nil) #

def clause_cleanup_protection : SatParameters::ClauseProtection | Nil #

def clause_cleanup_protection=(clause_cleanup_protection : SatParameters::ClauseProtection | Nil) #

def clause_cleanup_ratio : Float64 | Nil #

def clause_cleanup_ratio=(clause_cleanup_ratio : Float64 | Nil) #

def clause_cleanup_target : Int32 | Nil #

def clause_cleanup_target=(clause_cleanup_target : Int32 | Nil) #

def convert_intervals : Bool | Nil #

def convert_intervals=(convert_intervals : Bool | Nil) #

def core_minimization_level : Int32 | Nil #

def core_minimization_level=(core_minimization_level : Int32 | Nil) #

def count_assumption_levels_in_lbd : Bool | Nil #

def count_assumption_levels_in_lbd=(count_assumption_levels_in_lbd : Bool | Nil) #

def cover_optimization : Bool | Nil #

def cover_optimization=(cover_optimization : Bool | Nil) #

def cp_model_presolve : Bool | Nil #

def cp_model_presolve=(cp_model_presolve : Bool | Nil) #

def cp_model_probing_level : Int32 | Nil #

def cp_model_probing_level=(cp_model_probing_level : Int32 | Nil) #

def cp_model_use_sat_presolve : Bool | Nil #

def cp_model_use_sat_presolve=(cp_model_use_sat_presolve : Bool | Nil) #

def cut_active_count_decay : Float64 | Nil #

def cut_active_count_decay=(cut_active_count_decay : Float64 | Nil) #

def cut_cleanup_target : Int32 | Nil #

def cut_cleanup_target=(cut_cleanup_target : Int32 | Nil) #

def cut_level : Int32 | Nil #

def cut_level=(cut_level : Int32 | Nil) #

def cut_max_active_count_value : Float64 | Nil #

def cut_max_active_count_value=(cut_max_active_count_value : Float64 | Nil) #

def debug_crash_on_bad_hint : Bool | Nil #

def debug_crash_on_bad_hint=(debug_crash_on_bad_hint : Bool | Nil) #

def debug_max_num_presolve_operations : Int32 | Nil #

def debug_max_num_presolve_operations=(debug_max_num_presolve_operations : Int32 | Nil) #

def debug_postsolve_with_full_solver : Bool | Nil #

def debug_postsolve_with_full_solver=(debug_postsolve_with_full_solver : Bool | Nil) #

def default_restart_algorithms : String | Nil #

def default_restart_algorithms=(default_restart_algorithms : String | Nil) #

def detect_linearized_product : Bool | Nil #

def detect_linearized_product=(detect_linearized_product : Bool | Nil) #

def detect_table_with_cost : Bool | Nil #

def detect_table_with_cost=(detect_table_with_cost : Bool | Nil) #

def disable_constraint_expansion : Bool | Nil #

def disable_constraint_expansion=(disable_constraint_expansion : Bool | Nil) #

def diversify_lns_params : Bool | Nil #

def diversify_lns_params=(diversify_lns_params : Bool | Nil) #

def encode_complex_linear_constraint_with_integer : Bool | Nil #

def encode_complex_linear_constraint_with_integer=(encode_complex_linear_constraint_with_integer : Bool | Nil) #

def enumerate_all_solutions : Bool | Nil #

def enumerate_all_solutions=(enumerate_all_solutions : Bool | Nil) #

def expand_alldiff_constraints : Bool | Nil #

def expand_alldiff_constraints=(expand_alldiff_constraints : Bool | Nil) #

def expand_reservoir_constraints : Bool | Nil #

def expand_reservoir_constraints=(expand_reservoir_constraints : Bool | Nil) #

def exploit_all_lp_solution : Bool | Nil #

def exploit_all_lp_solution=(exploit_all_lp_solution : Bool | Nil) #

def exploit_all_precedences : Bool | Nil #

def exploit_all_precedences=(exploit_all_precedences : Bool | Nil) #

def exploit_best_solution : Bool | Nil #

def exploit_best_solution=(exploit_best_solution : Bool | Nil) #

def exploit_integer_lp_solution : Bool | Nil #

def exploit_integer_lp_solution=(exploit_integer_lp_solution : Bool | Nil) #

def exploit_objective : Bool | Nil #

def exploit_objective=(exploit_objective : Bool | Nil) #

def exploit_relaxation_solution : Bool | Nil #

def exploit_relaxation_solution=(exploit_relaxation_solution : Bool | Nil) #

def extra_subsolvers : Array(String) | Nil #

def extra_subsolvers=(extra_subsolvers : Array(String) | Nil) #

def feasibility_jump_decay : Float64 | Nil #

def feasibility_jump_decay=(feasibility_jump_decay : Float64 | Nil) #

def feasibility_jump_enable_restarts : Bool | Nil #

def feasibility_jump_enable_restarts=(feasibility_jump_enable_restarts : Bool | Nil) #

def feasibility_jump_linearization_level : Int32 | Nil #

def feasibility_jump_linearization_level=(feasibility_jump_linearization_level : Int32 | Nil) #

def feasibility_jump_max_expanded_constraint_size : Int32 | Nil #

def feasibility_jump_max_expanded_constraint_size=(feasibility_jump_max_expanded_constraint_size : Int32 | Nil) #

def feasibility_jump_restart_factor : Int32 | Nil #

def feasibility_jump_restart_factor=(feasibility_jump_restart_factor : Int32 | Nil) #

def feasibility_jump_var_perburbation_range_ratio : Float64 | Nil #

def feasibility_jump_var_perburbation_range_ratio=(feasibility_jump_var_perburbation_range_ratio : Float64 | Nil) #

def feasibility_jump_var_randomization_probability : Float64 | Nil #

def feasibility_jump_var_randomization_probability=(feasibility_jump_var_randomization_probability : Float64 | Nil) #

def fill_additional_solutions_in_response : Bool | Nil #

def fill_additional_solutions_in_response=(fill_additional_solutions_in_response : Bool | Nil) #

def fill_tightened_domains_in_response : Bool | Nil #

def fill_tightened_domains_in_response=(fill_tightened_domains_in_response : Bool | Nil) #

def find_big_linear_overlap : Bool | Nil #

def find_big_linear_overlap=(find_big_linear_overlap : Bool | Nil) #

def find_multiple_cores : Bool | Nil #

def find_multiple_cores=(find_multiple_cores : Bool | Nil) #

def fix_variables_to_their_hinted_value : Bool | Nil #

def fix_variables_to_their_hinted_value=(fix_variables_to_their_hinted_value : Bool | Nil) #

def fp_rounding : SatParameters::FPRoundingMethod | Nil #

def fp_rounding=(fp_rounding : SatParameters::FPRoundingMethod | Nil) #

def glucose_decay_increment : Float64 | Nil #

def glucose_decay_increment=(glucose_decay_increment : Float64 | Nil) #

def glucose_decay_increment_period : Int32 | Nil #

def glucose_decay_increment_period=(glucose_decay_increment_period : Int32 | Nil) #

def glucose_max_decay : Float64 | Nil #

def glucose_max_decay=(glucose_max_decay : Float64 | Nil) #

def hint_conflict_limit : Int32 | Nil #

def hint_conflict_limit=(hint_conflict_limit : Int32 | Nil) #

def ignore_names : Bool | Nil #

def ignore_names=(ignore_names : Bool | Nil) #

def ignore_subsolvers : Array(String) | Nil #

def ignore_subsolvers=(ignore_subsolvers : Array(String) | Nil) #

def infer_all_diffs : Bool | Nil #

def infer_all_diffs=(infer_all_diffs : Bool | Nil) #

def initial_polarity : SatParameters::Polarity | Nil #

def initial_polarity=(initial_polarity : SatParameters::Polarity | Nil) #

def initial_variables_activity : Float64 | Nil #

def initial_variables_activity=(initial_variables_activity : Float64 | Nil) #

def inprocessing_dtime_ratio : Float64 | Nil #

def inprocessing_dtime_ratio=(inprocessing_dtime_ratio : Float64 | Nil) #

def inprocessing_minimization_dtime : Float64 | Nil #

def inprocessing_minimization_dtime=(inprocessing_minimization_dtime : Float64 | Nil) #

def inprocessing_probing_dtime : Float64 | Nil #

def inprocessing_probing_dtime=(inprocessing_probing_dtime : Float64 | Nil) #

def instantiate_all_variables : Bool | Nil #

def instantiate_all_variables=(instantiate_all_variables : Bool | Nil) #

def interleave_batch_size : Int32 | Nil #

def interleave_batch_size=(interleave_batch_size : Int32 | Nil) #

def interleave_search : Bool | Nil #

def interleave_search=(interleave_search : Bool | Nil) #

def keep_all_feasible_solutions_in_presolve : Bool | Nil #

def keep_all_feasible_solutions_in_presolve=(keep_all_feasible_solutions_in_presolve : Bool | Nil) #

def linear_split_size : Int32 | Nil #

def linear_split_size=(linear_split_size : Int32 | Nil) #

def linearization_level : Int32 | Nil #

def linearization_level=(linearization_level : Int32 | Nil) #

def log_prefix : String | Nil #

def log_prefix=(log_prefix : String | Nil) #

def log_search_progress : Bool | Nil #

def log_search_progress=(log_search_progress : Bool | Nil) #

def log_subsolver_statistics : Bool | Nil #

def log_subsolver_statistics=(log_subsolver_statistics : Bool | Nil) #

def log_to_response : Bool | Nil #

def log_to_response=(log_to_response : Bool | Nil) #

def log_to_stdout : Bool | Nil #

def log_to_stdout=(log_to_stdout : Bool | Nil) #

def lp_dual_tolerance : Float64 | Nil #

def lp_dual_tolerance=(lp_dual_tolerance : Float64 | Nil) #

def lp_primal_tolerance : Float64 | Nil #

def lp_primal_tolerance=(lp_primal_tolerance : Float64 | Nil) #

def max_all_diff_cut_size : Int32 | Nil #

def max_all_diff_cut_size=(max_all_diff_cut_size : Int32 | Nil) #

def max_clause_activity_value : Float64 | Nil #

def max_clause_activity_value=(max_clause_activity_value : Float64 | Nil) #

def max_consecutive_inactive_count : Int32 | Nil #

def max_consecutive_inactive_count=(max_consecutive_inactive_count : Int32 | Nil) #

def max_cut_rounds_at_level_zero : Int32 | Nil #

def max_cut_rounds_at_level_zero=(max_cut_rounds_at_level_zero : Int32 | Nil) #

def max_deterministic_time : Float64 | Nil #

def max_deterministic_time=(max_deterministic_time : Float64 | Nil) #

def max_domain_size_when_encoding_eq_neq_constraints : Int32 | Nil #

def max_domain_size_when_encoding_eq_neq_constraints=(max_domain_size_when_encoding_eq_neq_constraints : Int32 | Nil) #

def max_integer_rounding_scaling : Int32 | Nil #

def max_integer_rounding_scaling=(max_integer_rounding_scaling : Int32 | Nil) #

def max_lin_max_size_for_expansion : Int32 | Nil #

def max_lin_max_size_for_expansion=(max_lin_max_size_for_expansion : Int32 | Nil) #

def max_memory_in_mb : Int64 | Nil #

def max_memory_in_mb=(max_memory_in_mb : Int64 | Nil) #

def max_num_cuts : Int32 | Nil #

def max_num_cuts=(max_num_cuts : Int32 | Nil) #

def max_num_intervals_for_timetable_edge_finding : Int32 | Nil #

def max_num_intervals_for_timetable_edge_finding=(max_num_intervals_for_timetable_edge_finding : Int32 | Nil) #

def max_number_of_conflicts : Int64 | Nil #

def max_number_of_conflicts=(max_number_of_conflicts : Int64 | Nil) #

def max_pairs_pairwise_reasoning_in_no_overlap_2d : Int32 | Nil #

def max_pairs_pairwise_reasoning_in_no_overlap_2d=(max_pairs_pairwise_reasoning_in_no_overlap_2d : Int32 | Nil) #

def max_presolve_iterations : Int32 | Nil #

def max_presolve_iterations=(max_presolve_iterations : Int32 | Nil) #

def max_sat_assumption_order : SatParameters::MaxSatAssumptionOrder | Nil #

def max_sat_assumption_order=(max_sat_assumption_order : SatParameters::MaxSatAssumptionOrder | Nil) #

def max_sat_reverse_assumption_order : Bool | Nil #

def max_sat_reverse_assumption_order=(max_sat_reverse_assumption_order : Bool | Nil) #

def max_sat_stratification : SatParameters::MaxSatStratificationAlgorithm | Nil #

def max_sat_stratification=(max_sat_stratification : SatParameters::MaxSatStratificationAlgorithm | Nil) #

def max_size_to_create_precedence_literals_in_disjunctive : Int32 | Nil #

def max_size_to_create_precedence_literals_in_disjunctive=(max_size_to_create_precedence_literals_in_disjunctive : Int32 | Nil) #

def max_time_in_seconds : Float64 | Nil #

def max_time_in_seconds=(max_time_in_seconds : Float64 | Nil) #

def max_variable_activity_value : Float64 | Nil #

def max_variable_activity_value=(max_variable_activity_value : Float64 | Nil) #

def merge_at_most_one_work_limit : Float64 | Nil #

def merge_at_most_one_work_limit=(merge_at_most_one_work_limit : Float64 | Nil) #

def merge_no_overlap_work_limit : Float64 | Nil #

def merge_no_overlap_work_limit=(merge_no_overlap_work_limit : Float64 | Nil) #

def min_num_lns_workers : Int32 | Nil #

def min_num_lns_workers=(min_num_lns_workers : Int32 | Nil) #

def min_orthogonality_for_lp_constraints : Float64 | Nil #

def min_orthogonality_for_lp_constraints=(min_orthogonality_for_lp_constraints : Float64 | Nil) #

def minimization_algorithm : SatParameters::ConflictMinimizationAlgorithm | Nil #

def minimization_algorithm=(minimization_algorithm : SatParameters::ConflictMinimizationAlgorithm | Nil) #

def minimize_reduction_during_pb_resolution : Bool | Nil #

def minimize_reduction_during_pb_resolution=(minimize_reduction_during_pb_resolution : Bool | Nil) #

def mip_automatically_scale_variables : Bool | Nil #

def mip_automatically_scale_variables=(mip_automatically_scale_variables : Bool | Nil) #

def mip_check_precision : Float64 | Nil #

def mip_check_precision=(mip_check_precision : Float64 | Nil) #

def mip_compute_true_objective_bound : Bool | Nil #

def mip_compute_true_objective_bound=(mip_compute_true_objective_bound : Bool | Nil) #

def mip_drop_tolerance : Float64 | Nil #

def mip_drop_tolerance=(mip_drop_tolerance : Float64 | Nil) #

def mip_max_activity_exponent : Int32 | Nil #

def mip_max_activity_exponent=(mip_max_activity_exponent : Int32 | Nil) #

def mip_max_bound : Float64 | Nil #

def mip_max_bound=(mip_max_bound : Float64 | Nil) #

def mip_max_valid_magnitude : Float64 | Nil #

def mip_max_valid_magnitude=(mip_max_valid_magnitude : Float64 | Nil) #

def mip_presolve_level : Int32 | Nil #

def mip_presolve_level=(mip_presolve_level : Int32 | Nil) #

def mip_scale_large_domain : Bool | Nil #

def mip_scale_large_domain=(mip_scale_large_domain : Bool | Nil) #

def mip_treat_high_magnitude_bounds_as_infinity : Bool | Nil #

def mip_treat_high_magnitude_bounds_as_infinity=(mip_treat_high_magnitude_bounds_as_infinity : Bool | Nil) #

def mip_var_scaling : Float64 | Nil #

def mip_var_scaling=(mip_var_scaling : Float64 | Nil) #

def mip_wanted_precision : Float64 | Nil #

def mip_wanted_precision=(mip_wanted_precision : Float64 | Nil) #

def name : String | Nil #

def name=(name : String | Nil) #

def new_constraints_batch_size : Int32 | Nil #

def new_constraints_batch_size=(new_constraints_batch_size : Int32 | Nil) #

def new_linear_propagation : Bool | Nil #

def new_linear_propagation=(new_linear_propagation : Bool | Nil) #

def num_conflicts_before_strategy_changes : Int32 | Nil #

def num_conflicts_before_strategy_changes=(num_conflicts_before_strategy_changes : Int32 | Nil) #

def num_search_workers : Int32 | Nil #

def num_search_workers=(num_search_workers : Int32 | Nil) #

def num_violation_ls : Int32 | Nil #

def num_violation_ls=(num_violation_ls : Int32 | Nil) #

def num_workers : Int32 | Nil #

def num_workers=(num_workers : Int32 | Nil) #

def only_add_cuts_at_level_zero : Bool | Nil #

def only_add_cuts_at_level_zero=(only_add_cuts_at_level_zero : Bool | Nil) #

def only_solve_ip : Bool | Nil #

def only_solve_ip=(only_solve_ip : Bool | Nil) #

def optimize_with_core : Bool | Nil #

def optimize_with_core=(optimize_with_core : Bool | Nil) #

def optimize_with_lb_tree_search : Bool | Nil #

def optimize_with_lb_tree_search=(optimize_with_lb_tree_search : Bool | Nil) #

def optimize_with_max_hs : Bool | Nil #

def optimize_with_max_hs=(optimize_with_max_hs : Bool | Nil) #

def pb_cleanup_increment : Int32 | Nil #

def pb_cleanup_increment=(pb_cleanup_increment : Int32 | Nil) #

def pb_cleanup_ratio : Float64 | Nil #

def pb_cleanup_ratio=(pb_cleanup_ratio : Float64 | Nil) #

def permute_presolve_constraint_order : Bool | Nil #

def permute_presolve_constraint_order=(permute_presolve_constraint_order : Bool | Nil) #

def permute_variable_randomly : Bool | Nil #

def permute_variable_randomly=(permute_variable_randomly : Bool | Nil) #

def polarity_rephase_increment : Int32 | Nil #

def polarity_rephase_increment=(polarity_rephase_increment : Int32 | Nil) #

def polish_lp_solution : Bool | Nil #

def polish_lp_solution=(polish_lp_solution : Bool | Nil) #

def preferred_variable_order : SatParameters::VariableOrder | Nil #

def preferred_variable_order=(preferred_variable_order : SatParameters::VariableOrder | Nil) #

def presolve_blocked_clause : Bool | Nil #

def presolve_blocked_clause=(presolve_blocked_clause : Bool | Nil) #

def presolve_bva_threshold : Int32 | Nil #

def presolve_bva_threshold=(presolve_bva_threshold : Int32 | Nil) #

def presolve_bve_clause_weight : Int32 | Nil #

def presolve_bve_clause_weight=(presolve_bve_clause_weight : Int32 | Nil) #

def presolve_bve_threshold : Int32 | Nil #

def presolve_bve_threshold=(presolve_bve_threshold : Int32 | Nil) #

def presolve_extract_integer_enforcement : Bool | Nil #

def presolve_extract_integer_enforcement=(presolve_extract_integer_enforcement : Bool | Nil) #

def presolve_inclusion_work_limit : Int64 | Nil #

def presolve_inclusion_work_limit=(presolve_inclusion_work_limit : Int64 | Nil) #

def presolve_probing_deterministic_time_limit : Float64 | Nil #

def presolve_probing_deterministic_time_limit=(presolve_probing_deterministic_time_limit : Float64 | Nil) #

def presolve_substitution_level : Int32 | Nil #

def presolve_substitution_level=(presolve_substitution_level : Int32 | Nil) #

def presolve_use_bva : Bool | Nil #

def presolve_use_bva=(presolve_use_bva : Bool | Nil) #

def probing_deterministic_time_limit : Float64 | Nil #

def probing_deterministic_time_limit=(probing_deterministic_time_limit : Float64 | Nil) #

def probing_num_combinations_limit : Int32 | Nil #

def probing_num_combinations_limit=(probing_num_combinations_limit : Int32 | Nil) #

def propagation_loop_detection_factor : Float64 | Nil #

def propagation_loop_detection_factor=(propagation_loop_detection_factor : Float64 | Nil) #

def pseudo_cost_reliability_threshold : Int64 | Nil #

def pseudo_cost_reliability_threshold=(pseudo_cost_reliability_threshold : Int64 | Nil) #

def push_all_tasks_toward_start : Bool | Nil #

def push_all_tasks_toward_start=(push_all_tasks_toward_start : Bool | Nil) #

def random_branches_ratio : Float64 | Nil #

def random_branches_ratio=(random_branches_ratio : Float64 | Nil) #

def random_polarity_ratio : Float64 | Nil #

def random_polarity_ratio=(random_polarity_ratio : Float64 | Nil) #

def random_seed : Int32 | Nil #

def random_seed=(random_seed : Int32 | Nil) #

def randomize_search : Bool | Nil #

def randomize_search=(randomize_search : Bool | Nil) #

def relative_gap_limit : Float64 | Nil #

def relative_gap_limit=(relative_gap_limit : Float64 | Nil) #

def repair_hint : Bool | Nil #

def repair_hint=(repair_hint : Bool | Nil) #

def restart_algorithms : Array(SatParameters::RestartAlgorithm) | Nil #

def restart_algorithms=(restart_algorithms : Array(SatParameters::RestartAlgorithm) | Nil) #

def restart_dl_average_ratio : Float64 | Nil #

def restart_dl_average_ratio=(restart_dl_average_ratio : Float64 | Nil) #

def restart_lbd_average_ratio : Float64 | Nil #

def restart_lbd_average_ratio=(restart_lbd_average_ratio : Float64 | Nil) #

def restart_period : Int32 | Nil #

def restart_period=(restart_period : Int32 | Nil) #

def restart_running_window_size : Int32 | Nil #

def restart_running_window_size=(restart_running_window_size : Int32 | Nil) #

def root_lp_iterations : Int32 | Nil #

def root_lp_iterations=(root_lp_iterations : Int32 | Nil) #

def search_branching : SatParameters::SearchBranching | Nil #

def search_branching=(search_branching : SatParameters::SearchBranching | Nil) #

def search_random_variable_pool_size : Int64 | Nil #

def search_random_variable_pool_size=(search_random_variable_pool_size : Int64 | Nil) #

def share_binary_clauses : Bool | Nil #

def share_binary_clauses=(share_binary_clauses : Bool | Nil) #

def share_level_zero_bounds : Bool | Nil #

def share_level_zero_bounds=(share_level_zero_bounds : Bool | Nil) #

def share_objective_bounds : Bool | Nil #

def share_objective_bounds=(share_objective_bounds : Bool | Nil) #

def shared_tree_max_nodes_per_worker : Int32 | Nil #

def shared_tree_max_nodes_per_worker=(shared_tree_max_nodes_per_worker : Int32 | Nil) #

def shared_tree_num_workers : Int32 | Nil #

def shared_tree_num_workers=(shared_tree_num_workers : Int32 | Nil) #

def shared_tree_open_leaves_per_worker : Float64 | Nil #

def shared_tree_open_leaves_per_worker=(shared_tree_open_leaves_per_worker : Float64 | Nil) #

def shared_tree_split_strategy : SatParameters::SharedTreeSplitStrategy | Nil #

def shared_tree_split_strategy=(shared_tree_split_strategy : SatParameters::SharedTreeSplitStrategy | Nil) #

def shared_tree_worker_min_restarts_per_subtree : Int32 | Nil #

def shared_tree_worker_min_restarts_per_subtree=(shared_tree_worker_min_restarts_per_subtree : Int32 | Nil) #

def shared_tree_worker_objective_split_probability : Float64 | Nil #

def shared_tree_worker_objective_split_probability=(shared_tree_worker_objective_split_probability : Float64 | Nil) #

def shaving_search_deterministic_time : Float64 | Nil #

def shaving_search_deterministic_time=(shaving_search_deterministic_time : Float64 | Nil) #

def solution_pool_size : Int32 | Nil #

def solution_pool_size=(solution_pool_size : Int32 | Nil) #

def stop_after_first_solution : Bool | Nil #

def stop_after_first_solution=(stop_after_first_solution : Bool | Nil) #

def stop_after_presolve : Bool | Nil #

def stop_after_presolve=(stop_after_presolve : Bool | Nil) #

def stop_after_root_propagation : Bool | Nil #

def stop_after_root_propagation=(stop_after_root_propagation : Bool | Nil) #

def strategy_change_increase_ratio : Float64 | Nil #

def strategy_change_increase_ratio=(strategy_change_increase_ratio : Float64 | Nil) #

def subsolver_params : Array(SatParameters) | Nil #

def subsolver_params=(subsolver_params : Array(SatParameters) | Nil) #

def subsolvers : Array(String) | Nil #

def subsolvers=(subsolvers : Array(String) | Nil) #

def subsumption_during_conflict_analysis : Bool | Nil #

def subsumption_during_conflict_analysis=(subsumption_during_conflict_analysis : Bool | Nil) #

def symmetry_level : Int32 | Nil #

def symmetry_level=(symmetry_level : Int32 | Nil) #

def table_compression_level : Int32 | Nil #

def table_compression_level=(table_compression_level : Int32 | Nil) #

def test_feasibility_jump : Bool | Nil #

def test_feasibility_jump=(test_feasibility_jump : Bool | Nil) #

def to_protobuf(io : IO, embedded = false) #

def to_protobuf #

def use_absl_random : Bool | Nil #

def use_absl_random=(use_absl_random : Bool | Nil) #

def use_area_energetic_reasoning_in_no_overlap_2d : Bool | Nil #

def use_area_energetic_reasoning_in_no_overlap_2d=(use_area_energetic_reasoning_in_no_overlap_2d : Bool | Nil) #

def use_blocking_restart : Bool | Nil #

def use_blocking_restart=(use_blocking_restart : Bool | Nil) #

def use_combined_no_overlap : Bool | Nil #

def use_combined_no_overlap=(use_combined_no_overlap : Bool | Nil) #

def use_disjunctive_constraint_in_cumulative : Bool | Nil #

def use_disjunctive_constraint_in_cumulative=(use_disjunctive_constraint_in_cumulative : Bool | Nil) #

def use_dual_scheduling_heuristics : Bool | Nil #

def use_dual_scheduling_heuristics=(use_dual_scheduling_heuristics : Bool | Nil) #

def use_dynamic_precedence_in_cumulative : Bool | Nil #

def use_dynamic_precedence_in_cumulative=(use_dynamic_precedence_in_cumulative : Bool | Nil) #

def use_dynamic_precedence_in_disjunctive : Bool | Nil #

def use_dynamic_precedence_in_disjunctive=(use_dynamic_precedence_in_disjunctive : Bool | Nil) #

def use_energetic_reasoning_in_no_overlap_2d : Bool | Nil #

def use_energetic_reasoning_in_no_overlap_2d=(use_energetic_reasoning_in_no_overlap_2d : Bool | Nil) #

def use_erwa_heuristic : Bool | Nil #

def use_erwa_heuristic=(use_erwa_heuristic : Bool | Nil) #

def use_exact_lp_reason : Bool | Nil #

def use_exact_lp_reason=(use_exact_lp_reason : Bool | Nil) #

def use_extended_probing : Bool | Nil #

def use_extended_probing=(use_extended_probing : Bool | Nil) #

def use_feasibility_jump : Bool | Nil #

def use_feasibility_jump=(use_feasibility_jump : Bool | Nil) #

def use_feasibility_pump : Bool | Nil #

def use_feasibility_pump=(use_feasibility_pump : Bool | Nil) #

def use_hard_precedences_in_cumulative : Bool | Nil #

def use_hard_precedences_in_cumulative=(use_hard_precedences_in_cumulative : Bool | Nil) #

def use_implied_bounds : Bool | Nil #

def use_implied_bounds=(use_implied_bounds : Bool | Nil) #

def use_lb_relax_lns : Bool | Nil #

def use_lb_relax_lns=(use_lb_relax_lns : Bool | Nil) #

def use_lns : Bool | Nil #

def use_lns=(use_lns : Bool | Nil) #

def use_lns_only : Bool | Nil #

def use_lns_only=(use_lns_only : Bool | Nil) #

def use_objective_lb_search : Bool | Nil #

def use_objective_lb_search=(use_objective_lb_search : Bool | Nil) #

def use_objective_shaving_search : Bool | Nil #

def use_objective_shaving_search=(use_objective_shaving_search : Bool | Nil) #

def use_optimization_hints : Bool | Nil #

def use_optimization_hints=(use_optimization_hints : Bool | Nil) #

def use_optional_variables : Bool | Nil #

def use_optional_variables=(use_optional_variables : Bool | Nil) #

def use_overload_checker_in_cumulative : Bool | Nil #

def use_overload_checker_in_cumulative=(use_overload_checker_in_cumulative : Bool | Nil) #

def use_pb_resolution : Bool | Nil #

def use_pb_resolution=(use_pb_resolution : Bool | Nil) #

def use_phase_saving : Bool | Nil #

def use_phase_saving=(use_phase_saving : Bool | Nil) #

def use_precedences_in_disjunctive_constraint : Bool | Nil #

def use_precedences_in_disjunctive_constraint=(use_precedences_in_disjunctive_constraint : Bool | Nil) #

def use_probing_search : Bool | Nil #

def use_probing_search=(use_probing_search : Bool | Nil) #

def use_rins_lns : Bool | Nil #

def use_rins_lns=(use_rins_lns : Bool | Nil) #

def use_sat_inprocessing : Bool | Nil #

def use_sat_inprocessing=(use_sat_inprocessing : Bool | Nil) #

def use_shared_tree_search : Bool | Nil #

def use_shared_tree_search=(use_shared_tree_search : Bool | Nil) #

def use_shaving_in_probing_search : Bool | Nil #

def use_shaving_in_probing_search=(use_shaving_in_probing_search : Bool | Nil) #

def use_strong_propagation_in_disjunctive : Bool | Nil #

def use_strong_propagation_in_disjunctive=(use_strong_propagation_in_disjunctive : Bool | Nil) #

def use_timetable_edge_finding_in_cumulative : Bool | Nil #

def use_timetable_edge_finding_in_cumulative=(use_timetable_edge_finding_in_cumulative : Bool | Nil) #

def use_timetabling_in_no_overlap_2d : Bool | Nil #

def use_timetabling_in_no_overlap_2d=(use_timetabling_in_no_overlap_2d : Bool | Nil) #

def variable_activity_decay : Float64 | Nil #

def variable_activity_decay=(variable_activity_decay : Float64 | Nil) #

def violation_ls_compound_move_probability : Float64 | Nil #

def violation_ls_compound_move_probability=(violation_ls_compound_move_probability : Float64 | Nil) #

def violation_ls_perturbation_period : Int32 | Nil #

def violation_ls_perturbation_period=(violation_ls_perturbation_period : Int32 | Nil) #