[[["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 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"]]
