Установка:

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

sudo apt update
sudo apt install libapron-ocaml

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

библиотеки времени выполнения для APRON (интерфейс OCaml)

Библиотека APRON посвящена статическому анализу численных переменных программы с помощью абстрактной интерпретации. Цель такого анализа состоит в том, чтобы вывести инварианты об этих переменных. Он предназначен для общего интерфейса с различными базовыми областями library/abstract и для предоставления дополнительных сервисов, которые могут быть реализованы независимо от базового домена library/abstract.

Этот пакет включает только динамические библиотеки, необходимые для запуска исполняемых файлов динамического байткода.

Список зависимостей:

  • libapron

  • libc6

  • libgmp10

  • libmpfr6

  • ocaml-base-nox-4.05.0