Установка:
Для установки libppl-swi в Ubuntu / Linux Mint / Debian, введите в Терминал:
Подробная информация о пакете:
Библиотека Parma Polyhedra (интерфейс SWI Prolog)
-
Зависимости:
-
Библиотека GNU C: общие библиотеки
-
Библиотека поддержки GCC
-
Многоточечная арифметическая библиотека
-
Арифметическая библиотека с несколькими значениями (привязки C++)
-
Библиотека Parma Polyhedra (библиотека времени исполнения)
-
Интерпретатор Prolog ISO / Edinburgh
-
Интерпретатор Prolog, основанный на ISO / Edinburgh (без поддержки X)
-
libstdc++6