code: def delete(self):
          
  
          if self.oracle:
              self.oracle.delete()
              self.oracle = None
  
              if self.solver != 'mc':  # for minicard, there is nothing to free
                  for t in six.itervalues(self.tobj):
                      t.delete()
docs: Explicit destructor of the internal SAT oracle and all the
              totalizer objects creating during the solving process.