[ Source: isl ]
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.4)
- GNU Biblioteca C: Bibliotecas compartilhadas
also a virtual package provided by libc6-udeb
-
- dep: libgmp10 (>= 2:6.2.1+dfsg1)
- biblioteca aritmética de multi precisão
Download libisl23
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| mipsel | 511.4 kB | 2,530.0 kB | [list of files] |