Package: libisl23 (0.26-3) [debports]

[ Source:  ]

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.1 (>= 2.36)

  GNU Biblioteca C: Bibliotecas compartilhadas
  also a virtual package provided by libc6.1-udeb

• dep: libgmp10 (>= 2:6.2.1+dfsg1)

  biblioteca aritmética de multi precisão

Download libisl23

Download for all available architectures

Architecture	Package Size	Installed Size	Files
ia64 (unofficial port)	767.2 kB	4,558.0 kB	[list of files]