C++ Reference: cp_model_postsolve

Note: This documentation is automatically generated.

Function Type Arguments Comments
PostsolveResponse

Return type: void

Arguments: const int64_t num_variables_in_original_model, const CpModelProto& mapping_proto, const std::vector<int>& postsolve_mapping, std::vector<int64_t>* solution