14#ifndef OR_TOOLS_SAT_CP_MODEL_POSTSOLVE_H_
15#define OR_TOOLS_SAT_CP_MODEL_POSTSOLVE_H_
20#include "ortools/sat/cp_model.pb.h"
44 const CpModelProto& mapping_proto,
45 const std::vector<int>& postsolve_mapping,
SharedResponseManager * response
void PostsolveResponse(const int64 num_variables_in_original_model, const CpModelProto &mapping_proto, const std::vector< int > &postsolve_mapping, CpSolverResponse *response)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...