C++ Reference: cp_model_symmetries

This documentation is automatically generated.

Function Type Arguments Comments
FindCpModelSymmetries

Return type: void

Arguments: const CpModelProto& problem, std::vector<std::unique_ptr<SparsePermutation>>* generators, double time_limit_seconds = std::numeric_limits<double>::infinity()