Package: libisl23 (0.25-1.1)
Links for libisl23
Debian Resources:
Download Source Package isl:
Maintainers:
External Resources:
- Homepage [isl.gforge.inria.fr]
Similar packages:
manipula conjuntos e relações de pontos inteiros limitados por restrições lineares
A isl é uma biblioteca que manipula conjuntos e relações de pontos inteiros limitados por restrições lineares. As operações suportadas em conjuntos incluem interseção, união, diferença de conjuntos, verificação de vazio, casco convexo, casco afim, projeção de inteiros e computação de mínimo lexicográfico usando programação inteira paramétrica. Também inclui um solucionador de programação linear inteira baseado em redução de bases generalizada.
Este pacote contém a biblioteca de execução.
Other Packages Related to libisl23
|
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- GNU Biblioteca C: Bibliotecas compartilhadas
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.4) [not amd64, arm64, ppc64el]
-
- dep: libgmp10 (>= 2:6.2.1+dfsg1)
- biblioteca aritmética de multi precisão
Download libisl23
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
amd64 | 667.1 kB | 2,302.0 kB | [list of files] |
arm64 | 595.7 kB | 2,295.0 kB | [list of files] |
armel | 505.6 kB | 1,796.0 kB | [list of files] |
armhf | 523.8 kB | 1,384.0 kB | [list of files] |
i386 | 750.1 kB | 2,726.0 kB | [list of files] |
mips64el | 507.2 kB | 2,611.0 kB | [list of files] |
mipsel | 511.4 kB | 2,530.0 kB | [list of files] |
ppc64el | 738.7 kB | 3,255.0 kB | [list of files] |
s390x | 613.1 kB | 2,499.0 kB | [list of files] |