[[["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 details the implementation of a pure SAT presolver based on the paper \"Effective Preprocessing in SAT through Variable and Clause Elimination\"."],["The presolver utilizes techniques for variable and clause elimination to simplify SAT problems before solving."],["Two main classes are involved: `SatPostsolver` and `SatPresolver`, with links provided for further exploration."]]],["The document outlines the implementation of a pure SAT presolver, based on the \"Effective Preprocessing in SAT through Variable and Clause Elimination\" paper by Een and Biere (SAT 2005). It details the use of a `SatPresolver` class for preprocessing and a `SatPostsolver` class. The core functionality centers on simplifying SAT problems by eliminating variables and clauses as described in the mentioned research paper.\n"]]
