[ Source: isl ]
Package: libisl-dev (0.26-3 and others)
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
|
|
|
|
Download libisl-dev
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 0.26-3 | 1,201.0 kB | 13,307.0 kB | [list of files] |
| amd64 | 0.26-3+b2 | 830.2 kB | 7,429.0 kB | [list of files] |
| arm64 | 0.26-3+b2 | 815.2 kB | 7,817.0 kB | [list of files] |
| armel | 0.26-3+b2 | 702.9 kB | 6,256.0 kB | [list of files] |
| armhf | 0.26-3+b2 | 717.9 kB | 5,807.0 kB | [list of files] |
| hppa (unofficial port) | 0.26-3 | 903.7 kB | 7,576.0 kB | [list of files] |
| i386 | 0.26-3+b2 | 932.2 kB | 7,105.0 kB | [list of files] |
| ia64 (unofficial port) | 0.26-3 | 1,150.3 kB | 11,347.0 kB | [list of files] |
| m68k (unofficial port) | 0.26-3 | 805.4 kB | 6,757.0 kB | [list of files] |
| mips64el | 0.26-3+b2 | 920.8 kB | 9,717.0 kB | [list of files] |
| ppc64 (unofficial port) | 0.26-3 | 1,058.8 kB | 10,095.0 kB | [list of files] |
| ppc64el | 0.26-3+b2 | 949.1 kB | 8,911.0 kB | [list of files] |
| riscv64 | 0.26-3+b2 | 2,387.7 kB | 27,956.0 kB | [list of files] |
| s390x | 0.26-3+b2 | 821.3 kB | 7,853.0 kB | [list of files] |
| sh4 (unofficial port) | 0.26-3 | 880.4 kB | 6,377.0 kB | [list of files] |
| sparc64 (unofficial port) | 0.26-3 | 811.7 kB | 8,369.0 kB | [list of files] |
| x32 (unofficial port) | 0.26-3 | 964.2 kB | 7,271.0 kB | [list of files] |