Pacote: libisl19 (0.20-2)

[ Fonte: isl  ]

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.

Etiquetas: Função: Biblioteca compartilhada

Outros pacotes relacionados a libisl19

• dep: libc6 (>= 2.14) [amd64]

  GNU Biblioteca C: Bibliotecas compartilhadas
  também um pacote virtual fornecido por libc6-udeb

  dep: libc6 (>= 2.17) [arm64]

  dep: libc6 (>= 2.4) [armhf, i386]

• dep: libgmp10

  biblioteca aritmética de multi precisão

Download de libisl19

Baixe para todas as arquiteturas disponíveis

Arquitetura	Tamanho do pacote	Tamanho instalado	Arquivos
amd64	572.9 kB	1,967.0 kB	[lista de arquivos]
arm64	522.4 kB	2,012.0 kB	[lista de arquivos]
armhf	443.9 kB	1,158.0 kB	[lista de arquivos]
i386	654.3 kB	2,313.0 kB	[lista de arquivos]