(self)
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
Returns the unsat core as a set of formulae.
Returns the unsat core as a set of formulae .
def get_unsat_core(self):
        """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
        """
        raise NotImplementedError
def get_unsat_core ( self ) : raise NotImplementedError