C++ Reference: cp_model_symmetries

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