docs: def delete(self):
          """
              Explicit destructor of the internal SAT oracle and the
              :class:`.ITotalizer` object.
          """
  
          if self.oracle:
              self.oracle.delete()
              self.oracle = None
  
          if self.tot:
              self.tot.delete()
              self.tot = None