Searched refs:extractUnsatCore (Results 1 – 4 of 4) sorted by relevance
269 std::vector<Expr> extractUnsatCore();
360 std::vector<Expr> ProofManager::extractUnsatCore() { in extractUnsatCore() function in CVC4::ProofManager
4487 return UnsatCore(this, d_proofManager->extractUnsatCore()); in getUnsatCoreInternal()
1171 extractUnsatCore :: Modelable a => a -> Maybe [String]