Пакунок: libisl23 (0.27-1)

Links for libisl23

Debian Resources:

Download Source Package isl:

Maintainers:

External Resources:

Homepage [openhub.net]

Similar packages:

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

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

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

Tags: Role: Shared Library

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

depends

recommends

suggests

enhances

dep: libc6 (>= 2.14) [amd64]

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

dep: libc6 (>= 2.17) [arm64, ppc64el]

dep: libc6 (>= 2.27) [riscv64]

dep: libc6 (>= 2.4) [armhf, i386, s390x]
dep: libgmp10 (>= 2:6.3.0+dfsg)

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

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

Завантаження для всіх доступних архітектур
Архітектура	Розмір пакунка	Розмір після встановлення	Файли
amd64	643.7 kB	2,253.0 kB	[список файлів]
arm64	586.8 kB	2,427.0 kB	[список файлів]
armhf	505.3 kB	1,391.0 kB	[список файлів]
i386	729.7 kB	2,633.0 kB	[список файлів]
ppc64el	716.1 kB	3,195.0 kB	[список файлів]
riscv64	648.3 kB	1,966.0 kB	[список файлів]
s390x	631.5 kB	2,491.0 kB	[список файлів]