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

ValidateCpModel

Return type: std::string

Arguments: const CpModelProto& model