C++ Reference: cp_model_checker

This documentation is automatically generated.

Function Type Arguments Comments
SolutionIsFeasible

Return type: bool

Arguments: const CpModelProto& model, const std::vector<int64>& variable_values, const CpModelProto* mapping_proto = nullptr, const std::vector<int>* postsolve_mapping = nullptr

ValidateCpModel

Return type: std::string

Arguments: const CpModelProto& model