Pakiet: libisl23 (0.25-1.1)

[ Pakiet źródłowy: isl  ]

manipulating sets and relations of integer points bounded by linear constraints

isl is a library for manipulating sets and relations of integer points bounded by linear constraints. Supported operations on sets include intersection, union, set difference, emptiness check, convex hull, (integer) affine hull, integer projection, and computing the lexicographic minimum using parametric integer programming. It also includes an ILP solver based on generalized basis reduction.

This package contains the runtime library.

Znaczniki: Rola: Biblioteka współdzielona

Inne pakiety związane z libisl23

• dep: libc6 (>= 2.14) [amd64]

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

  dep: libc6 (>= 2.17) [arm64, ppc64el]

  dep: libc6 (>= 2.4) [nie amd64, arm64, ppc64el]

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

  Biblioteka działań arytmetycznych z dużą dokładnością

Pobieranie libisl23

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	667,1 KiB	2 302,0 KiB	[lista plików]
arm64	595,7 KiB	2 295,0 KiB	[lista plików]
armel	505,6 KiB	1 796,0 KiB	[lista plików]
armhf	523,8 KiB	1 384,0 KiB	[lista plików]
i386	750,1 KiB	2 726,0 KiB	[lista plików]
mips64el	507,2 KiB	2 611,0 KiB	[lista plików]
mipsel	511,4 KiB	2 530,0 KiB	[lista plików]
ppc64el	738,7 KiB	3 255,0 KiB	[lista plików]
s390x	613,1 KiB	2 499,0 KiB	[lista plików]