Balík: libisl23 (0.23-1)

[ Zdroj: isl  ]

manipulácia s množinami a vzťahmi celočíselných bodov ohraničených lineárnymi obmedzeniami

isl je knižnica na manipuláciu s množinami a vzťahmi celočíselných bodov ohraničených lineárnymi obmedzeniami. Medzi podporované operácie s bodmi patrí prienik, zjednotenie, rozdiel množnín, kontrola prázdnosti, konvexný plášť, (celočíselný) afínny plášť, celočíselná projekcia a počítanie lexikografického minima pomocou parametrického celočíselného programovania. Tiež obsahuje riešiteľa CLP založného na zovšeobecnenej redukcii bázových premenných.

Tento balík obsahuje dynamickú knižnicu.

Značky: Role: Shared Library

Ostatné balíky súvisiace s balíkom libisl23

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

  knižnica GNU C - zdieľané knižnice
  tiež virtuálny balík poskytovaný balíkom libc6-udeb

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

  dep: libc6 (>= 2.3.4) [i386, mips64el, mipsel]

  dep: libc6 (>= 2.4) [armel, armhf, s390x]

• dep: libgmp10

  aritmetická knižnica s viacnásobnou presnosťou

Stiahnuť libisl23

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	660.5 kB	2,253.0 kB	[zoznam súborov]
arm64	576.4 kB	2,206.0 kB	[zoznam súborov]
armel	483.1 kB	1,695.0 kB	[zoznam súborov]
armhf	503.8 kB	1,323.0 kB	[zoznam súborov]
i386	682.2 kB	2,326.0 kB	[zoznam súborov]
mips64el	497.6 kB	2,495.0 kB	[zoznam súborov]
mipsel	502.5 kB	2,450.0 kB	[zoznam súborov]
ppc64el	718.1 kB	3,182.0 kB	[zoznam súborov]
s390x	598.3 kB	2,438.0 kB	[zoznam súborov]