Package: libisl23 (0.23-1)

[ Source: isl  ]

Manipulering af sæt og relationer for heltals punkter afgrænset af lineære begrænsninger

Isl er et bibliotek til at manipulere sæt og relationer for heltalspunkter afgrænset af lineære begrænsninger. Understøttet operationer på sæt inkluderer kryds, forening, sæt forskel, tomhedskontrol, konveks skrog, (heltals) affine skrog, heltalsprojektion og beregning af det leksikografiske minimum ved hjælp af parametriske heltalsprogrammering. Biblioteket omfatter også en ILP-løser baseret på generaliseret basisreduktion.

Denne pakke indeholder kørselstidsbiblioteket.

Tags: Role: Shared Library

Other Packages Related to libisl23

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

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by 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

  Bibliotek til multipræcision i aritmetik

Download libisl23

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	660.5 kB	2,253.0 kB	[list of files]
arm64	576.4 kB	2,206.0 kB	[list of files]
armel	483.1 kB	1,695.0 kB	[list of files]
armhf	503.8 kB	1,323.0 kB	[list of files]
i386	682.2 kB	2,326.0 kB	[list of files]
mips64el	497.6 kB	2,495.0 kB	[list of files]
mipsel	502.5 kB	2,450.0 kB	[list of files]
ppc64el	718.1 kB	3,182.0 kB	[list of files]
s390x	598.3 kB	2,438.0 kB	[list of files]