[ Fonte: isl ]
Pacote: libisl-dev (0.20-2)
Links para libisl-dev
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 os arquivos de desenvolvimento.
Outros pacotes relacionados a libisl-dev
|
|
|
|
-
- dep: libisl19 (= 0.20-2)
- manipula conjuntos e relações de pontos inteiros limitados por restrições lineares
Download de libisl-dev
| Arquitetura | Tamanho do pacote | Tamanho instalado | Arquivos |
|---|---|---|---|
| amd64 | 609.6 kB | 3,508.0 kB | [lista de arquivos] |
| arm64 | 594.2 kB | 3,736.0 kB | [lista de arquivos] |
| armhf | 507.4 kB | 2,103.0 kB | [lista de arquivos] |
| i386 | 697.1 kB | 3,254.0 kB | [lista de arquivos] |