[[["Easy to understand","easyToUnderstand","thumb-up"],["Solved my problem","solvedMyProblem","thumb-up"],["Other","otherUp","thumb-up"]],[["Missing the information I need","missingTheInformationINeed","thumb-down"],["Too complicated / too many steps","tooComplicatedTooManySteps","thumb-down"],["Out of date","outOfDate","thumb-down"],["Samples / code issue","samplesCodeIssue","thumb-down"],["Other","otherDown","thumb-down"]],["Last updated 2024-08-06 UTC."],[[["This page serves as a reference for symmetry functionalities within C++, specifically focusing on tools for symmetry propagation in optimization tasks."],["The primary class highlighted is `SymmetryPropagator`, providing methods for managing and utilizing symmetry information during optimization processes."]]],["The documentation outlines the `SymmetryPropagator` class in C++, a component within an optimization library, specifically in the `sat/symmetry` namespace. This class is designed for handling symmetry during the optimization process. Its primary function involves propagating symmetry-related information to enhance the efficiency and effectiveness of the optimization algorithms. The core information presented revolves solely around the existence and name of this class.\n"]]
