[[["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 documentation focuses on \u003ccode\u003esat_decision\u003c/code\u003e within the C++ reference, specifically for optimization tasks.\u003c/p\u003e\n"],["\u003cp\u003eThe core element presented is the \u003ccode\u003eSatDecisionPolicy\u003c/code\u003e class, essential for guiding decision-making processes in SAT (satisfiability) problem-solving.\u003c/p\u003e\n"]]],["The documentation focuses on the `SatDecisionPolicy` class within the C++ optimization library. This class, the core subject, is part of a module named `sat_decision`. The information presented is limited to the existence and linkage of this class, which is likely involved in making decisions within a satisfiability (SAT) solver context. The document is automatically generated and serves as a brief reference point.\n"],null,["# sat_decision\n\nC++ Reference: sat_decision\n===========================\n\n\nNote: This documentation is automatically generated.\n\n| Classes ------- ||\n|---------------------------------------------------------------------------------|---|\n| [SatDecisionPolicy](/optimization/reference/sat/sat_decision/SatDecisionPolicy) |"]]