14 #ifndef OR_TOOLS_SAT_RESTART_H_
15 #define OR_TOOLS_SAT_RESTART_H_
21 #include "ortools/sat/sat_parameters.pb.h"
32 : parameters_(*(
model->GetOrCreate<SatParameters>())),
48 void OnConflict(
int conflict_trail_index,
int conflict_decision_level,
58 const SatParameters& parameters_;
62 int conflicts_until_next_strategy_change_;
63 int strategy_change_conflicts_;
65 int strategy_counter_;
66 std::vector<SatParameters::RestartAlgorithm> strategies_;
69 int conflicts_until_next_restart_;
88 const int most_significant_bit_position =
90 if ((1 << most_significant_bit_position) == i + 1) {
91 return 1 << (most_significant_bit_position - 1);
93 i -= (1 << most_significant_bit_position) - 1;
#define DCHECK_GT(val1, val2)
Class that owns everything related to a particular optimization model.
std::string InfoString() const
void OnConflict(int conflict_trail_index, int conflict_decision_level, int conflict_lbd)
RestartPolicy(Model *model)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...
int MostSignificantBitPosition64(uint64 n)