A default constructed BoolVar can be used to mean not defined yet.
However, it shouldn't be passed to any of the functions in this file.
Doing so will crash in debug mode and will result in an invalid model in
opt mode.
[[["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."],[[["`BoolVar` represents a Boolean variable in the CP-SAT solver and can be used to model decisions with two possible outcomes."],["Default constructed `BoolVar` objects are undefined and should not be used in constraints; attempting to do so may result in errors."],["Various methods like `Name`, `Not`, `DebugString`, etc., are available to manage and manipulate `BoolVar` instances within the model."],["The `index` method provides access to the underlying integer representation of the Boolean variable used by the solver."]]],[]]