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

[ Source:  ]

manipolazione di insiemi e relazioni di punti interi legati da vincoli lineari

isl è una libreria per manipolare insiemi e relazioni di punti interi legati da vincoli lineari. Le operazioni gestite sugli insiemi includono: intersezione, unione, differenza di insiemi, controllo se l'insieme è vuoto, inviluppo convesso, inviluppo affine (intero), proiezione intera e calcolo del minimo lessicografico usando programmazione intera parametrica. Include anche un risolutore di ILP basato sulla riduzione generalizzata.

Questo pacchetto contiene i file di sviluppo.

Other Packages Related to libisl-dev

• dep: libisl23 (= 0.26-3)

  manipolazione di insiemi e relazioni di punti interi legati da vincoli lineari

Download libisl-dev

Download for all available architectures

Architecture	Package Size	Installed Size	Files
ia64 (unofficial port)	1,150.3 kB	11,347.0 kB	[list of files]