(self)
Returns the unsat cores.

        Restrictions: Requires option :produce-unsat-cores to be set true and can
                      be called only after check-sat returned unsat, if no
                      change to the assertion set occurred.

        Note: Requires elements to be named.
Returns the unsat cores.
Returns the unsat cores .
def get_unsat_core(self):
        """ Returns the unsat cores.

        Restrictions: Requires option :produce-unsat-cores to be set true and can
                      be called only after check-sat returned unsat, if no
                      change to the assertion set occurred.

        Note: Requires elements to be named.
        """
        raise NotImplementedError
def get_unsat_core ( self ) : raise NotImplementedError