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

Other Packages Related to libisl23

• dep: libc6.1 (>= 2.4)

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

• dep: libgmp10 (>= 2:6.2.1+dfsg1)

  libreria aritmetica a precisione multipla

Download libisl23

Download for all available architectures

Architecture	Package Size	Installed Size	Files
alpha (unofficial port)	696.9 kB	3,131.0 kB	[list of files]