Stay organized with collections Save and categorize content based on your preferences.

C++ Reference: cp_model_checker

Note: This documentation is automatically generated.

Function Type Arguments Comments

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


Return type: std::string

Arguments: const CpModelProto& model, bool after_presolve = false


Return type: std::string

Arguments: const SatParameters& params, const CpModelProto& model