[[["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 information about a C++ SAT solver implementation."],["The SAT solver addresses the Boolean satisfiability problem, with further details available on Wikipedia."],["The primary class associated with the solver is `SatSolver`."],["The documentation is a work in progress and is expected to be expanded in the future."]]],["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"]]
