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

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