[[["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."],[[["The `BoundedVariableElimination` class is used for inprocessing within the or-tools SAT solver and is constructed with a pointer to the relevant `Model`."],["It features a primary method, `DoOneRound`, which attempts a single round of variable elimination based on bounds and returns `true` if any modifications were made to the model."]]],["The `BoundedVariableElimination` class in C++ offers methods for constraint optimization. The core functionality is implemented within the `DoOneRound` method, which takes a boolean `log_info` argument and returns a boolean indicating if a round of processing has been done. The class constructor `BoundedVariableElimination` takes a `Model*` argument. This documentation describes the class and two core methods for constraint optimization.\n"]]
