Pacote: libisl23 (0.27-1 e outros)

[ 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 libisl23

• dep: libc6 (>= 2.38)

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

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  biblioteca aritmética de multi precisão

Download de libisl23

Baixe para todas as arquiteturas disponíveis

Arquitetura	Versão	Tamanho do pacote	Tamanho instalado	Arquivos
amd64	0.27-1+b1	647.9 kB	2,254.0 kB	[lista de arquivos]
arm64	0.27-1+b1	585.3 kB	2,364.0 kB	[lista de arquivos]
armhf	0.27-1+b1	510.8 kB	1,452.0 kB	[lista de arquivos]
i386	0.27-1+b1	733.3 kB	2,630.0 kB	[lista de arquivos]
ppc64el	0.27-1+b1	721.5 kB	3,132.0 kB	[lista de arquivos]
riscv64	0.27-1+b1	648.2 kB	1,931.0 kB	[lista de arquivos]
s390x	0.27-1+b1	633.5 kB	2,488.0 kB	[lista de arquivos]