如何在颤振插件中使用 z3

Question

我想在 Flutter 插件中使用z3，但我什至无法编译基本插件。目前我可以使用Android Studio 创建一个简单的插件，一切正常。我可以手动添加z3 作为外部依赖项并在我的代码中使用它。问题是当我尝试生成apk 时出现以下错误：

error: package com.microsoft.z3 does not exist

考虑到在 IDE 中我可以使用该包并将其作为外部库添加，我无法理解为什么会发生这种情况。

为了仔细检查我在做什么，我尝试使用z3 创建一个新项目并且一切正常。

有什么想法吗？

谢谢

Answer 1

我找到了解决该错误的方法：只需更新您的 build.gradle 添加以下部分：

dependencies {
    implementation files('libs/com.microsoft.z3.jar')
}

当然在android/libs里面你需要复制jar文件