Блог

Я хотел бы использовать z3 в плагине Flutter, но мне не удалось скомпилировать даже базовый плагин. В настоящее время я могу создать простой плагин, используя 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 файл