[ Source: isl ]
Package: libisl-dev (0.26-3 and others)
Links for libisl-dev
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 os arquivos de desenvolvimento.
Other Packages Related to libisl-dev
|
|
|
|
Download libisl-dev
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 0.26-3 | 1,201.0 kB | 13,307.0 kB | [list of files] |
| amd64 | 0.26-3+b2 | 830.2 kB | 7,429.0 kB | [list of files] |
| arm64 | 0.26-3+b2 | 815.2 kB | 7,817.0 kB | [list of files] |
| armel | 0.26-3+b2 | 702.9 kB | 6,256.0 kB | [list of files] |
| armhf | 0.26-3+b2 | 717.9 kB | 5,807.0 kB | [list of files] |
| hppa (unofficial port) | 0.26-3 | 903.7 kB | 7,576.0 kB | [list of files] |
| i386 | 0.26-3+b2 | 932.2 kB | 7,105.0 kB | [list of files] |
| ia64 (unofficial port) | 0.26-3 | 1,150.3 kB | 11,347.0 kB | [list of files] |
| m68k (unofficial port) | 0.26-3 | 805.4 kB | 6,757.0 kB | [list of files] |
| mips64el | 0.26-3+b2 | 920.8 kB | 9,717.0 kB | [list of files] |
| ppc64 (unofficial port) | 0.26-3 | 1,058.8 kB | 10,095.0 kB | [list of files] |
| ppc64el | 0.26-3+b2 | 949.1 kB | 8,911.0 kB | [list of files] |
| riscv64 | 0.26-3+b2 | 2,387.7 kB | 27,956.0 kB | [list of files] |
| s390x | 0.26-3+b2 | 821.3 kB | 7,853.0 kB | [list of files] |
| sh4 (unofficial port) | 0.26-3 | 880.4 kB | 6,377.0 kB | [list of files] |
| sparc64 (unofficial port) | 0.26-3 | 811.7 kB | 8,369.0 kB | [list of files] |
| x32 (unofficial port) | 0.26-3 | 964.2 kB | 7,271.0 kB | [list of files] |