Pacote: libisl-dev (0.26-3) [debports]

[ Fonte:  ]

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.

Outros pacotes relacionados a libisl-dev

• dep: libisl23 (= 0.26-3)

  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
ia64 (porte não oficial)	1,150.3 kB	11,347.0 kB	[lista de arquivos]