Balík: libisl23 (0.26-3 a iné)

[ 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.4) [nie amd64, arm64, ppc64el]

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

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

Stiahnuť libisl23

Stiahnuť pre všetky dostupné architektúry

Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	0.26-3+b2	636.4 kB	2,230.0 kB	[zoznam súborov]
arm64	0.26-3+b2	578.5 kB	2,364.0 kB	[zoznam súborov]
armel	0.26-3+b2	480.7 kB	1,752.0 kB	[zoznam súborov]
armhf	0.26-3+b2	499.9 kB	1,380.0 kB	[zoznam súborov]
i386	0.26-3+b2	721.7 kB	2,602.0 kB	[zoznam súborov]
mips64el	0.26-3+b2	492.6 kB	2,502.0 kB	[zoznam súborov]
ppc64el	0.26-3+b2	711.1 kB	3,132.0 kB	[zoznam súborov]
s390x	0.26-3+b2	623.4 kB	2,476.0 kB	[zoznam súborov]