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