[[["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."],[[["\u003cp\u003eThis documentation provides an overview of C++ functions related to the \u003ccode\u003eLinearBooleanProblem\u003c/code\u003e, which is designed for handling boolean satisfiability and optimization problems.\u003c/p\u003e\n"],["\u003cp\u003eThe functions allow for various operations, including adding constraints and objectives, manipulating the objective function, and converting the problem to different formats, such as \u003ccode\u003eCpModelProto\u003c/code\u003e and CNF strings.\u003c/p\u003e\n"],["\u003cp\u003eThere are also utilities to interact with \u003ccode\u003eSatSolver\u003c/code\u003e, such as loading, validating, and extracting assignments for boolean variables, as well as simplifying problems and finding symmetries.\u003c/p\u003e\n"],["\u003cp\u003eFunctions are available for checking assignment validity, computing the objective value, and manipulating objective bounds.\u003c/p\u003e\n"],["\u003cp\u003eThe functions are primarily about manipulating and interacting with the data structure \u003ccode\u003eLinearBooleanProblem\u003c/code\u003e.\u003c/p\u003e\n"]]],["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"],null,[]]
