» Математика

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

Установка:

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

sudo apt update
sudo apt install cvc4

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

cvc4 — автоматическая проверка теоремы для задач SMT

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

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

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

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

  • libboost-system1.65.1

    Библиотека операционной системы (например, поддержка диагностики)

  • libboost-thread1.65.1

    Портативный многопоточный C++

  • libc6

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

  • libcvc4-4

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

  • libcvc4parser4

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

  • libgcc1

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

  • libgmp10

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

  • libreadline7

    Библиотеки чтения и истории GNU, библиотеки времени выполнения

  • libstdc++6