Установка:

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

sudo apt update
sudo apt install libppl-swi
Dzen
libppl-swi — Библиотека Parma Polyhedra (интерфейс SWI Prolog)

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

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

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

  • libc6

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

  • libgcc1

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

  • libgmp10

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

  • libgmpxx4ldbl

    Арифметическая библиотека с несколькими значениями (привязки C++)

  • libppl14

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

  • swi-prolog

    Интерпретатор Prolog ISO / Edinburgh

  • swi-prolog-nox

    Интерпретатор Prolog, основанный на ISO / Edinburgh (без поддержки X)

  • libstdc++6