C++ Reference: cp_model_symmetries

Note: This documentation is automatically generated.

Function	Type	Arguments	Comments
DetectAndAddSymmetryToProto	Return type: void Arguments: const SatParameters& params, CpModelProto* proto, SolverLogger* logger
DetectAndExploitSymmetriesInPresolve	Return type: bool Arguments: PresolveContext* context
FindCpModelSymmetries	Return type: void Arguments: const SatParameters& params, const CpModelProto& problem, std::vector<std::unique_ptr<SparsePermutation>>* generators, double deterministic_limit, SolverLogger* logger