def get_core(self):
        """
            Get an unsatisfiable core if the formula was previously
            unsatisfied.
        """

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