[ Source: ppl ]
Package: libppl-dev (1:1.2-8.1 and others)
Links for libppl-dev
Debian Resources:
Download Source Package ppl:
Maintainers:
External Resources:
- Homepage [www.cs.unipr.it]
Similar packages:
Parma Polyhedra Library (sviluppo)
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 i file header e le librerie statiche per le interfacce C e C .
Other Packages Related to libppl-dev
|
|
|
|
-
- dep: libppl-c4 (= 1:1.2-8.1 b3)
- Parma Polyhedra Library (interfaccia C)
-
- dep: libppl14 (= 1:1.2-8.1 b3)
- Parma Polyhedra Library (libreria eseguibile)
-
- rec: libgmp-dev
- libreria aritmetica a precisione multipla, strumenti di sviluppo
-
- sug: libppl-doc
- Parma Polyhedra Library: documentazione
Download libppl-dev
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| arm64 | 1:1.2-8.1 b3 | 2,030.4 kB | 18,856.0 kB | [list of files] |