C++ Reference: cp_model_checker

Note: This documentation is automatically generated.

Function	Type	Arguments	Comments
SolutionIsFeasible	Return type: bool Arguments: const CpModelProto& model, const std::vector<int64_t>& variable_values, const CpModelProto* mapping_proto = nullptr, const std::vector<int>* postsolve_mapping = nullptr
ValidateCpModel	Return type: std::string Arguments: const CpModelProto& model, bool after_presolve = false
ValidateInputCpModel	Return type: std::string Arguments: const SatParameters& params, const CpModelProto& model