Установка:

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

sudo apt update
sudo apt install libisl19
Dzen
libisl19 — манипуляционные множества и отношения целых точек, ограниченных линейными ограничениями

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

Манипуляционные множества и отношения целых точек, ограниченных линейными ограничениями

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

  • libc6

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

  • libgmp10

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