» Java

Как установить libz3-jni в Ubuntu / Debian

Установка:

Для установки libz3-jni в Ubuntu / Linux Mint / Debian, введите в Терминал:

sudo apt update
sudo apt install libz3-jni

Настроить команду APT

libz3-jni — доказательство теоремы из Microsoft Research - библиотека JNI

Подробная информация о пакете:

Доказательство теоремы из Microsoft Research - библиотека JNI

https://github.com/Z3Prover/z3
Источник: packages.ubuntu.com

  • Зависимости:

  • libc6

    Библиотека GNU C: общие библиотеки

  • libgcc1

    Библиотека поддержки GCC

  • libz3-4

    Доказательство теоремы из Microsoft Research - библиотеки времени выполнения

  • libz3-dev

    Доказательство теоремы от Microsoft Research - файлы разработки

  • libstdc++6