[[["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\u003eThe content pertains to the C++ reference documentation for \u003ccode\u003edrat_writer\u003c/code\u003e.\u003c/p\u003e\n"],["\u003cp\u003eThe documentation is automatically generated.\u003c/p\u003e\n"],["\u003cp\u003eTwo classes are detailed within this \u003ccode\u003edrat_writer\u003c/code\u003e reference: \u003ccode\u003eDratWriter\u003c/code\u003e and \u003ccode\u003eFile\u003c/code\u003e.\u003c/p\u003e\n"]]],["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"],null,["# drat_writer\n\nC++ Reference: drat_writer\n==========================\n\n\nNote: This documentation is automatically generated.\n\n| Classes ------- ||\n|------------------------------------------------------------------|---|\n| [DratWriter](/optimization/reference/sat/drat_writer/DratWriter) |\n| [File](/optimization/reference/sat/drat_writer/File) |"]]