[[["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 provides an overview of C++ functions related to the `LinearBooleanProblem`, which is designed for handling boolean satisfiability and optimization problems."],["The functions allow for various operations, including adding constraints and objectives, manipulating the objective function, and converting the problem to different formats, such as `CpModelProto` and CNF strings."],["There are also utilities to interact with `SatSolver`, such as loading, validating, and extracting assignments for boolean variables, as well as simplifying problems and finding symmetries."],["Functions are available for checking assignment validity, computing the objective value, and manipulating objective bounds."],["The functions are primarily about manipulating and interacting with the data structure `LinearBooleanProblem`."]]],["This document details functions for managing and manipulating `LinearBooleanProblem` objects within the OR-Tools C++ library. Key actions include adding objective constraints or upper bounds, adjusting objective values, and converting between problem formats. Other operations include: mapping literals, changing optimization direction, computing objective values, extracting assignments or subproblems, finding symmetries, validating the boolean problem, loading problems, making literals positive, and using objectives for preferences. There are also some functions to store and probe the problems.\n"]]
