(self)
Returns the unsat core as a dict of names to formulae.

        After a call to solve() yielding UNSAT, returns the unsat core as a
        dict of names to formulae
Returns the unsat core as a dict of names to formulae.
Returns the unsat core as a dict of names to formulae .
def get_named_unsat_core(self):
        """Returns the unsat core as a dict of names to formulae.

        After a call to solve() yielding UNSAT, returns the unsat core as a
        dict of names to formulae
        """
        raise NotImplementedError
def get_named_unsat_core ( self ) : raise NotImplementedError