» Java

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

Установка:

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

sudo apt update
sudo apt install libcvc3-5-jni

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

libcvc3-5-jni — Связывание Java для CVC3 (родная библиотека)

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

Связывание Java для CVC3 (родная библиотека)

http://www.cs.nyu.edu/acsys/cvc3/
Источник: packages.ubuntu.com

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

  • libc6

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

  • libcvc3-5v5

    Автоматическая библиотека теоретических ошибок для задач SMT

  • libgcc1

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

  • libgmp10

    Многоточечная арифметическая библиотека

  • libstdc++6