[[["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 C++ reference guide provides information regarding the \u003ccode\u003erestart\u003c/code\u003e policies for optimization tasks.\u003c/p\u003e\n"],["\u003cp\u003eDevelopers can access details about the \u003ccode\u003eRestartPolicy\u003c/code\u003e class, which influences how the solver restarts during the search for solutions.\u003c/p\u003e\n"]]],["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"],null,[]]
