[ Fonte: isl ]
Pacote: libisl23 (0.23-1)
Links para libisl23
Recursos de Debian:
- Relatórios de bug
- Informação de desenvolvedor(a)
- Debian Changelog
- Arquivo de copyright
- Rastreador de patch Debian
Baixe o pacote-fonte isl:
Mantenedores(as):
Fontes externas:
- Pagina principal [isl.gforge.inria.fr]
Pacotes similares:
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.
Outros pacotes relacionados a libisl23
|
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- GNU Biblioteca C: Bibliotecas compartilhadas
também um pacote virtual fornecido por libc6-udeb
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.3.4) [i386, mips64el, mipsel]
- dep: libc6 (>= 2.4) [armel, armhf, s390x]
-
- dep: libgmp10
- biblioteca aritmética de multi precisão
Download de libisl23
| Arquitetura | Tamanho do pacote | Tamanho instalado | Arquivos |
|---|---|---|---|
| amd64 | 660.5 kB | 2,253.0 kB | [lista de arquivos] |
| arm64 | 576.4 kB | 2,206.0 kB | [lista de arquivos] |
| armel | 483.1 kB | 1,695.0 kB | [lista de arquivos] |
| armhf | 503.8 kB | 1,323.0 kB | [lista de arquivos] |
| i386 | 682.2 kB | 2,326.0 kB | [lista de arquivos] |
| mips64el | 497.6 kB | 2,495.0 kB | [lista de arquivos] |
| mipsel | 502.5 kB | 2,450.0 kB | [lista de arquivos] |
| ppc64el | 718.1 kB | 3,182.0 kB | [lista de arquivos] |
| s390x | 598.3 kB | 2,438.0 kB | [lista de arquivos] |