如何在 flutter 插件中使用 z3
How to use z3 in a flutter plugin
我想在 Flutter 插件中使用 z3，但我什至无法编译基本插件。目前我可以使用 Android Studio 创建一个简单的插件并且一切正常。我可以手动添加 z3 作为外部依赖项并在我的代码中使用它。问题是当我尝试生成 apk 时出现以下错误：
error: package com.microsoft.z3 does not exist
考虑到我可以在 IDE 中使用该包并将其添加为外部库，我无法理解为什么会发生这种情况。
为了仔细检查我在做什么，我尝试使用 z3 创建一个新项目并且一切正常。
有什么想法吗？
谢谢
我找到了该错误的解决方案：只需更新您的 build.gradle 添加以下部分：
dependencies {
implementation files('libs/com.microsoft.z3.jar')
}
当然在android/libs里面你需要复制jar文件
我想在 Flutter 插件中使用 z3，但我什至无法编译基本插件。目前我可以使用 Android Studio 创建一个简单的插件并且一切正常。我可以手动添加 z3 作为外部依赖项并在我的代码中使用它。问题是当我尝试生成 apk 时出现以下错误：
error: package com.microsoft.z3 does not exist
考虑到我可以在 IDE 中使用该包并将其添加为外部库，我无法理解为什么会发生这种情况。
为了仔细检查我在做什么，我尝试使用 z3 创建一个新项目并且一切正常。
有什么想法吗？
谢谢
我找到了该错误的解决方案：只需更新您的 build.gradle 添加以下部分：
dependencies {
implementation files('libs/com.microsoft.z3.jar')
}
当然在android/libs里面你需要复制jar文件