14#ifndef OR_TOOLS_SAT_CP_MODEL_SEARCH_H_
15#define OR_TOOLS_SAT_CP_MODEL_SEARCH_H_
21#include "ortools/sat/cp_model.pb.h"
34 const CpModelProto& cp_model_proto,
35 const std::vector<IntegerVariable>& variable_mapping,
36 IntegerVariable objective_var, Model*
model);
43 const CpModelProto& cp_model_proto,
44 const std::vector<IntegerVariable>& variable_mapping,
45 const std::function<BooleanOrIntegerLiteral()>& instrumented_strategy,
52 const SatParameters& base_params,
const CpModelProto& cp_model,
53 const int num_workers);
std::vector< SatParameters > GetDiverseSetOfParameters(const SatParameters &base_params, const CpModelProto &cp_model, const int num_workers)
std::function< BooleanOrIntegerLiteral()> ConstructSearchStrategy(const CpModelProto &cp_model_proto, const std::vector< IntegerVariable > &variable_mapping, IntegerVariable objective_var, Model *model)
std::function< BooleanOrIntegerLiteral()> InstrumentSearchStrategy(const CpModelProto &cp_model_proto, const std::vector< IntegerVariable > &variable_mapping, const std::function< BooleanOrIntegerLiteral()> &instrumented_strategy, Model *model)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...