[[["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 C++ reference guide provides information regarding the `restart` policies for optimization tasks."],["Developers can access details about the `RestartPolicy` class, which influences how the solver restarts during the search for solutions."]]],["The document details C++ reference information for `restart` functionality. It highlights the `RestartPolicy` class, which is found within the `sat` and `restart` namespaces under the `optimization` directory. This class likely controls or defines the policies for restarting processes or algorithms within an optimization context. It is the only class presented in this automatically generated documentation.\n"]]
