code: def delete(self):
          
  
          if self.lingeling:
              pysolvers.lingeling_del(self.lingeling, self.prfile)
              self.lingeling = None
  
              if self.prfile:
                  self.prfile.close()
docs: Destructor.