Package: libisl23 (0.25-1.1)
Links for libisl23
Debian Resources:
Download Source Package isl:
Maintainers:
External Resources:
- Homepage [isl.gforge.inria.fr]
Similar packages:
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.
Other Packages Related to libisl23
|
|
|
|
-
- dep: libc6 (>= 2.17)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgmp10 (>= 2:6.2.1+dfsg1)
- Bibliotek til multipræcision i aritmetik
Download libisl23
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
arm64 | 595.7 kB | 2,295.0 kB | [list of files] |