Пакунок: libisl23 (0.26-3) [debports]

Links for libisl23

Debian Resources:

Bug Reports

Download Source Package :

Не знайдено

Maintainers:

External Resources:

Homepage [isl.gforge.inria.fr]

Similar packages:

Маніпулювання множинами та зв’язками цілих точок, обмежених лінійним обмеженням

isl — бібліотека для маніпулювання множинами та зв’язками цілих точок, обмежених лінійним обмеженням. Підтримуються операції з наборами включаючи вставку, об’єднання, визначення різності, перевірку на пустоту, опуклість, (Цілу) афінну оболонку, цілу проекцію, і обчислення лексикографічного мінімуму за допомогою параметричного цілочисельного програмування. Вона також включає в ILP розв’зувач на основі узагальненого базового зниження.

Цей пакунок містить виконавчу бібліотеку.

Інші пакунки пов'язані з libisl23

depends

recommends

suggests

enhances

dep: libc6.1 (>= 2.36)

Бібліотека GNU C: спільні бібліотеки
also a virtual package provided by libc6.1-udeb
dep: libgmp10 (>= 2:6.2.1+dfsg1)

Арифметична бібліотека багатоточності

Завантажити libisl23

Завантаження для всіх доступних архітектур
Архітектура	Розмір пакунка	Розмір після встановлення	Файли
ia64 (unofficial port)	767.2 kB	4,558.0 kB	[список файлів]