[ 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.4)
- GNU Biblioteca C: Bibliotecas compartilhadas
também um pacote virtual fornecido por libc6-udeb
-
- dep: libgmp10
- biblioteca aritmética de multi precisão
Download de libisl23
| Arquitetura | Tamanho do pacote | Tamanho instalado | Arquivos |
|---|---|---|---|
| armel | 483.1 kB | 1,695.0 kB | [lista de arquivos] |