/* 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();
}
