Package: libisl-dev (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 os arquivos de desenvolvimento.

Other Packages Related to libisl-dev

• dep: libisl23 (= 0.26-3)

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

Download libisl-dev

Download for all available architectures

Architecture	Package Size	Installed Size	Files
alpha (unofficial port)	1,201.0 kB	13,307.0 kB	[list of files]