Установка:

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

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

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

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

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

  • libc6

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

  • libgcc1

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

  • libz3-4

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

  • libz3-dev

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

  • libstdc++6