14 #ifndef OR_TOOLS_BOP_BOP_UTIL_H_
15 #define OR_TOOLS_BOP_BOP_UTIL_H_
39 const ProblemState& problem_state, sat::SatSolver* sat_solver);
47 BopSolution* solution);
58 double value()
const {
return value_; }
86 std::vector<AdaptiveParameterValue> difficulties_;
AdaptiveParameterValue(double initial_value)
LubyAdaptiveParameterValue(double initial_value)
double GetParameterValue() const
BopOptimizerBase::Status LoadStateProblemToSatSolver(const ProblemState &problem_state, sat::SatSolver *sat_solver)
void SatAssignmentToBopSolution(const sat::VariablesAssignment &assignment, BopSolution *solution)
void ExtractLearnedInfoFromSatSolver(sat::SatSolver *solver, LearnedInfo *info)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...