[ buster ]
[ Source: isl ]
Package: libisl19 (0.20-2)
Links for libisl19
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 libisl19
|
|
|
|
-
- dep: libc6 (>= 2.4)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgmp10
- Bibliotek til multipræcision i aritmetik
Download libisl19
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| armhf | 443.9 kB | 1,158.0 kB | [list of files] |