všetky možnosti
buster  ]
[ Zdroj: isl  ]

Balík: libisl19 (0.20-2)

Odkazy pre libisl19

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík isl:

Správcovia:

Externé zdroje:

Podobné balíky:

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.

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

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť libisl19

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 572.9 kB1,967.0 kB [zoznam súborov]
arm64 522.4 kB2,012.0 kB [zoznam súborov]
armel 429.0 kB1,490.0 kB [zoznam súborov]
armhf 443.9 kB1,158.0 kB [zoznam súborov]
i386 654.3 kB2,313.0 kB [zoznam súborov]
mips 450.0 kB2,164.0 kB [zoznam súborov]
mips64el 454.4 kB2,212.0 kB [zoznam súborov]
mipsel 459.8 kB2,168.0 kB [zoznam súborov]
ppc64el 635.5 kB2,780.0 kB [zoznam súborov]
s390x 534.0 kB2,177.0 kB [zoznam súborov]