Пакунок: libisl23 (0.27-1 and others) [debports]

[ Source:  ]

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

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

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

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

• dep: libc6 (>= 2.38)

  Бібліотека GNU C: спільні бібліотеки
  also a virtual package provided by libc6-udeb

• dep: libgmp10 (>= 2:6.3.0+dfsg)

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

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

Завантаження для всіх доступних архітектур

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
hppa (unofficial port)	0.27-1+b2	596.1 kB	2,484.0 kB	[список файлів]