Package: libisl23 (0.27-1) [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 la libreria runtime.

Other Packages Related to libisl23

• dep: libc6 (>= 2.4)

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

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

  libreria aritmetica a precisione multipla

Download libisl23

Download for all available architectures

Architecture	Package Size	Installed Size	Files
m68k (unofficial port)	521.1 kB	1,762.0 kB	[list of files]