/* Apply preprocessing to a formula */ void Preprocessor::process(void) { sortClauses(); removeTrivialClauses(); removePureLiterals(); }
/** * Reads DIMACS CNF. * @param is input stream to read. */ void load(std::istream& is) { readDimacs(is); sortClauses(); }