[[["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 documentation focuses on `sat_decision` within the C++ reference, specifically for optimization tasks."],["The core element presented is the `SatDecisionPolicy` class, essential for guiding decision-making processes in SAT (satisfiability) problem-solving."]]],["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"]]
