[[["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."],[[["\u003cp\u003eThis page serves as a reference for symmetry functionalities within C++, specifically focusing on tools for symmetry propagation in optimization tasks.\u003c/p\u003e\n"],["\u003cp\u003eThe primary class highlighted is \u003ccode\u003eSymmetryPropagator\u003c/code\u003e, providing methods for managing and utilizing symmetry information during optimization processes.\u003c/p\u003e\n"]]],["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"],null,[]]
