Установка:
Для установки libapron-dev в Ubuntu / Linux Mint / Debian, введите в Терминал:
sudo apt update
sudo apt install libapron-dev
Подробная информация о пакете:
Библиотека абстрактной интерпретации
-
Зависимости:
-
Библиотеки времени выполнения для APRON
-
Инструменты разработчиков многоарифметической библиотеки
-
Инструменты разработки вычислений с плавающей запятой с высокой точностью
-
Парме Многогранная библиотека (разработка)