(self)
return self.get_named_unsat_core().values()
After a call to solve() yielding UNSAT, returns the unsat core as a
        set of formulae
After a call to solve() yielding UNSAT, returns the unsat core as a
        set of formulae
After a call to solve () yielding UNSAT returns the unsat core as a set of formulae
def get_unsat_core(self):
        """After a call to solve() yielding UNSAT, returns the unsat core as a
        set of formulae"""
        return self.get_named_unsat_core().values()
def get_unsat_core ( self ) : return self . get_named_unsat_core ( ) . values ( )