Pacote: libisl-dev (0.25-1.1)

[ 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 os arquivos de desenvolvimento.

Etiquetas: Desenvolvimento de software: Bibliotecas, Função: Biblioteca de desenvolvimento

Outros pacotes relacionados a libisl-dev

• dep: libisl23 (= 0.25-1.1)

  manipula conjuntos e relações de pontos inteiros limitados por restrições lineares

Download de libisl-dev

Baixe para todas as arquiteturas disponíveis

Arquitetura	Tamanho do pacote	Tamanho instalado	Arquivos
amd64	931.4 kB	7,962.0 kB	[lista de arquivos]
arm64	908.7 kB	8,283.0 kB	[lista de arquivos]
armel	789.1 kB	6,588.0 kB	[lista de arquivos]
armhf	812.6 kB	5,991.0 kB	[lista de arquivos]
i386	1,045.5 kB	7,572.0 kB	[lista de arquivos]
mips64el	1,035.8 kB	10,735.0 kB	[lista de arquivos]
mipsel	1,026.5 kB	8,186.0 kB	[lista de arquivos]
ppc64el	1,076.6 kB	9,746.0 kB	[lista de arquivos]
s390x	860.9 kB	8,403.0 kB	[lista de arquivos]