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