wszystkie opcje
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Pakiet źródłowy: isl  ]

Pakiet: libisl23 (0.27-1 i inne)

Odnośniki dla libisl23

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego isl:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

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.

Inne pakiety związane z libisl23

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libisl23

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
alpha (port nieoficjalny) 0.27-1 650,3 KiB2 875,0 KiB [lista plików]
amd64 0.27-1 643,7 KiB2 253,0 KiB [lista plików]
arm64 0.27-1 586,8 KiB2 427,0 KiB [lista plików]
armel 0.27-1 485,6 KiB1 763,0 KiB [lista plików]
armhf 0.27-1 505,3 KiB1 391,0 KiB [lista plików]
hppa (port nieoficjalny) 0.27-1 582,7 KiB2 479,0 KiB [lista plików]
i386 0.27-1 729,7 KiB2 633,0 KiB [lista plików]
ia64 (port nieoficjalny) 0.26-3 767,2 KiB4 558,0 KiB [lista plików]
loong64 (port nieoficjalny) 0.27-1 648,3 KiB2 522,0 KiB [lista plików]
m68k (port nieoficjalny) 0.27-1 521,1 KiB1 762,0 KiB [lista plików]
mips64el 0.27-1 500,1 KiB2 502,0 KiB [lista plików]
ppc64 (port nieoficjalny) 0.27-1 720,2 KiB3 635,0 KiB [lista plików]
ppc64el 0.27-1 716,1 KiB3 195,0 KiB [lista plików]
riscv64 0.27-1 648,3 KiB1 966,0 KiB [lista plików]
s390x 0.27-1 631,5 KiB2 491,0 KiB [lista plików]
sh4 (port nieoficjalny) 0.27-1 614,6 KiB1 835,0 KiB [lista plików]
sparc64 (port nieoficjalny) 0.27-1 485,7 KiB2 385,0 KiB [lista plików]
x32 (port nieoficjalny) 0.27-1 649,0 KiB2 163,0 KiB [lista plików]