[[["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 `cp_model_utils` library provides utility functions for working with CP-SAT models in Google's OR-Tools."],["It includes functions to manipulate and analyze constraints, expressions, domains, and objective functions."],["Several functions are dedicated to handling references to variables, intervals, and literals within constraints."],["You can utilize these utilities to extract information from and modify the components of your CP-SAT models, enhancing model analysis and manipulation."],["Functions are provided for scaling and unscaling objective values based on the objective's scaling factor and offset."]]],["This C++ documentation outlines utility functions for managing constraint programming models. Key actions include manipulating linear expressions, such as adding expressions to constraints (`AddLinearExpressionToLinearConstraint`) and negating them (`SetToNegatedLinearExpression`). Other functions handle domains, reading (`ReadDomainFromProto`) and filling them (`FillDomainInProto`), as well as checking for specific values (`DomainInProtoContains`, `AllValuesInDomain`). Objective value scaling (`ScaleObjectiveValue`, `UnscaleObjectiveValue`) and reference management (`NegatedRef`, `PositiveRef`) are also core functions.\n"]]
