[[["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 content pertains to the C++ reference documentation for `drat_writer`."],["The documentation is automatically generated."],["Two classes are detailed within this `drat_writer` reference: `DratWriter` and `File`."]]],["The content outlines two C++ classes related to a \"drat_writer\": `DratWriter` and `File`. `DratWriter` is a primary class, presumably for writing data in the DRAT (Deletion Resolution Asymmetric Tautology) format, likely used in SAT (Satisfiability) solving. The `File` class is also present, suggesting it handles file interactions related to DRAT writing operations. This documentation is automatically generated, according to the text provided.\n"]]
