docs: def delete(self):
          """
              Destructor.
          """
  
          if self.glucose:
              pysolvers.glucose3_del(self.glucose)
              self.glucose = None
  
              if self.prfile:
                  self.prfile.close()