[[["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 `BinaryClauseManager` class in C++ is designed for managing a collection of binary clauses."],["It provides methods to add clauses (`Add`), check the number of existing clauses (`NumClauses`), and access recently added clauses (`newly_added`)."],["The `ClearNewlyAdded` function resets the tracking of newly added clauses, and the `newly_added` method provides access to those clauses before the reset."]]],["The `BinaryClauseManager` class manages a set of binary clauses. Key actions include: `Add`, which adds a new binary clause and returns `true` if unique; `ClearNewlyAdded`, which resets the list of recently added clauses; and `newly_added`, which returns a list of these newly added clauses. `NumClauses` returns the number of clauses. The `BinaryClauseManager` constructor is also present.\n"]]
