14#ifndef OR_TOOLS_SAT_CP_MODEL_CHECKER_H_
15#define OR_TOOLS_SAT_CP_MODEL_CHECKER_H_
21#include "ortools/sat/cp_model.pb.h"
43 const std::vector<int64>& variable_values,
44 const CpModelProto* mapping_proto =
nullptr,
45 const std::vector<int>* postsolve_mapping =
nullptr);
bool SolutionIsFeasible(const CpModelProto &model, const std::vector< int64 > &variable_values, const CpModelProto *mapping_proto, const std::vector< int > *postsolve_mapping)
std::string ValidateCpModel(const CpModelProto &model)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...