[ 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.4)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 4.2)
- libreria di supporto a GCC
-
- 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 |
|---|---|---|---|---|
| mipsel | 1:1.2-8.1+b1 | 2,331.9 kB | 23,919.0 kB | [list of files] |