» Библиотеки

Как установить libcvc4parser4 в Ubuntu

Установка:

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

sudo apt update
sudo apt install libcvc4parser4

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

libcvc4parser4 — автоматическая проверка теоремы для задач SMT (время выполнения анализатора)

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

Автоматическая проверка теоремы для задач SMT (время выполнения анализатора)

http://cvc4.cs.stanford.edu/web/
Источник: packages.ubuntu.com

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

  • libantlr3c-3.2-0

    ANTLR v3 генератор парсера C runtime

  • libantlr3c-antlrdbg-3.2-0

    ANTLR v3 генератор синтаксического анализатора C с использованием ANTLR-отладчика

  • libc6

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

  • libcvc4-4

    Автоматическая проверка теоремы для SMT-проблем (время выполнения)

  • libgcc1

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

  • libgmp10

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

  • libstdc++6