[ Source: ppl ]
Package: libppl-swi (1:1.2-8.1 and others)
Links for libppl-swi
Debian Resources:
Download Source Package ppl:
Maintainers:
External Resources:
- Homepage [www.cs.unipr.it]
Similar packages:
Parma Polyhedra Library (interfaccia SWI Prolog)
La Parma Polyhedra Library (PPL) è una libreria in C++ per la manipolazione di poliedri convessi (non necessariamente chiusi) e di altre astrazioni numeriche. Le applicazioni di tali poliedri includono l'analisi di programmi, la compilazione ottimizzata, l'ottimizzazione intera e combinatoria e l'elaborazione di dati statistici. La Parma Polyhedra Library è facile da usare (ad esempio si può scrivere «x + 2*y + 5*z <= 7»), estremamente dinamica (l'unico limite è quello della dimensione della memoria virtuale disponibile), scritta in C++ standard, con gestione sicura delle eccezioni, molto efficiente e ampiamente documentata.
Questo pacchetto fornisce l'interfaccia SWI Prolog.
Other Packages Related to libppl-swi
|
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.4) [not amd64, arm64, ppc64el]
-
- dep: libgcc-s1 (>= 3.0) [not armel, armhf]
- libreria di supporto a GCC
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
-
- dep: libgmp10 (>= 2:6.2.1+dfsg1)
- libreria aritmetica a precisione multipla
-
- dep: libgmpxx4ldbl (>= 2:6.2.1+dfsg1)
- libreria aritmetica a precisione multipla (collegamenti C++)
-
- dep: libppl14 (= 1:1.2-8.1+b1)
- Parma Polyhedra Library (libreria eseguibile)
-
- dep: libstdc++6 (>= 11)
- libreria GNU Standard C++, versione 3
-
- dep: libswipl9
- virtual package provided by swi-prolog-core
-
- dep: swi-prolog
- interprete Prolog in stile ISO/Edinburgh
Download libppl-swi
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 1:1.2-8.1+b1 | 3,071.2 kB | 26,989.0 kB | [list of files] |
| arm64 | 1:1.2-8.1+b1 | 2,497.5 kB | 23,905.0 kB | [list of files] |
| armel | 1:1.2-8.1+b1 | 1,544.8 kB | 11,716.0 kB | [list of files] |
| armhf | 1:1.2-8.1+b1 | 1,539.7 kB | 11,660.0 kB | [list of files] |
| i386 | 1:1.2-8.1+b1 | 3,151.3 kB | 21,518.0 kB | [list of files] |
| mips64el | 1:1.2-8.1+b1 | 2,557.7 kB | 34,965.0 kB | [list of files] |
| ppc64el | 1:1.2-8.1+b1 | 2,854.5 kB | 27,614.0 kB | [list of files] |