» Библиотеки для разработки

Как установить libppl-dev в Ubuntu / Debian

Установка:

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

sudo apt update
sudo apt install libppl-dev
Dzen
libppl-dev — Парме Многогранная библиотека (разработка)

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

Парме Многогранная библиотека (разработка)

http://www.cs.unipr.it/ppl/
,
Источник: packages.ubuntu.com

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

  • libppl-c4

    Библиотека Parma Polyhedra (интерфейс C)

  • libppl14

    Библиотека Parma Polyhedra (библиотека времени исполнения)