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