(self)
Clean up learned clauses.
Clean up learned clauses.
Clean up learned clauses .
def _simple_clean_clauses(self):
        """Clean up learned clauses."""
        pass
def _simple_clean_clauses ( self ) : pass