[[["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,[]]
