[[["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."],[[["VarDomination constraint enforces that one variable is equal to the maximum of a set of other variables."],["DualBoundStrengthening is an algorithm that strengthens dual bounds of the problem by propagating information about variable dominations."],["These classes can be used in optimization problems modeled using the OR-Tools CP-SAT solver."]]],["The content describes two C++ classes: `DualBoundStrengthening` and `VarDomination`. These classes are found within the `sat` and `var_domination` subdirectories of an optimization library. The `DualBoundStrengthening` class and the `VarDomination` class are both outlined, providing core components for use in the related optimization context. No further details on specific actions or functionality are present within the provided content.\n"]]
