docs: def delete(self):
          """
              Explicit destructor of the internal SAT oracle.
          """
  
          if self.oracle:
              self.time += self.oracle.time_accum()  # keep SAT solving time
  
              self.oracle.delete()
              self.oracle = None