直到现在,Z3是否给微小的无法满足的核心?
原文：Does Z3 give the minimal unsatisfiable core up to now?

我想知道,Z3现在是否能够给目前无法满足的核心。