Установка:

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

sudo apt update
sudo apt install libapron-ocaml-dev

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

библиотека абстрактной интерпретации (интерфейс OCaml)

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

Этот пакет содержит файлы, необходимые для использования библиотеки APRON в OCaml.

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

  • libapron-dev

  • libapron-ocaml-88t95

  • libapron-ocaml-d1hi5

  • libapron-ocaml-wz6m6

  • ocaml-nox-4.05.0