[[["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 information about a C++ SAT solver implementation.\u003c/p\u003e\n"],["\u003cp\u003eThe SAT solver addresses the Boolean satisfiability problem, with further details available on Wikipedia.\u003c/p\u003e\n"],["\u003cp\u003eThe primary class associated with the solver is \u003ccode\u003eSatSolver\u003c/code\u003e.\u003c/p\u003e\n"],["\u003cp\u003eThe documentation is a work in progress and is expected to be expanded in the future.\u003c/p\u003e\n"]]],["This document outlines a C++ implementation of a SAT solver, designed to address the Boolean satisfiability problem. The solver's details are described, and further information about the problem it solves can be found on Wikipedia. The primary class within this implementation is `SatSolver`, which is located in the file. The documentation is automatically generated and requires expansion.\n"],null,["# sat_solver\n\nC++ Reference: sat_solver\n=========================\n\n\nNote: This documentation is automatically generated.\nThis file implements a SAT solver. see \u003chttp://en.wikipedia.org/wiki/Boolean_satisfiability_problem\u003e for more detail. TODO(user): Expand. \n\n| Classes ------- ||\n|---------------------------------------------------------------|---|\n| [SatSolver](/optimization/reference/sat/sat_solver/SatSolver) |"]]