[ Source: isl ]
Package: libisl-dev (0.23-1)
Links for libisl-dev
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 udviklingsfilerne.
Other Packages Related to libisl-dev
|
|
|
|
-
- dep: libisl23 (= 0.23-1)
- Manipulering af sæt og relationer for heltals punkter afgrænset af lineære begrænsninger
Download libisl-dev
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| arm64 | 792.4 kB | 5,539.0 kB | [list of files] |