docs: def get_core(self):
          """
              Get an unsatisfiable core if the formula was previously
              unsatisfied.
          """
  
          if self.lingeling and self.status == False:
              return pysolvers.lingeling_core(self.lingeling, self.prev_assumps)