Package: libppl-dev (1:1.2-8.1 and others)

[ Source: ppl  ]

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++.

Tags: Software Development: Libraries, Role: Development Library

Other Packages Related to libppl-dev

• dep: libppl-c4 (= 1:1.2-8) [ia64]

  Parma Polyhedra Library (interfaccia C)

  dep: libppl-c4 (= 1:1.2-8.1) [hppa]

  dep: libppl-c4 (= 1:1.2-8.1+b2) [alpha]

  dep: libppl-c4 (= 1:1.2-8.1+b3) [not alpha, hppa, ia64]

• dep: libppl14 (= 1:1.2-8) [ia64]

  Parma Polyhedra Library (libreria eseguibile)

  dep: libppl14 (= 1:1.2-8.1) [hppa]

  dep: libppl14 (= 1:1.2-8.1+b2) [alpha]

  dep: libppl14 (= 1:1.2-8.1+b3) [not alpha, hppa, ia64]

• rec: libgmp-dev

  libreria aritmetica a precisione multipla, strumenti di sviluppo

• sug: libppl-doc

  Parma Polyhedra Library: documentazione

Download libppl-dev

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1:1.2-8.1+b2	2,733.6 kB	34,931.0 kB	[list of files]
amd64	1:1.2-8.1+b3	2,247.9 kB	20,931.0 kB	[list of files]
arm64	1:1.2-8.1+b3	2,030.4 kB	18,856.0 kB	[list of files]
armel	1:1.2-8.1+b3	1,697.1 kB	12,616.0 kB	[list of files]
armhf	1:1.2-8.1+b3	1,686.6 kB	12,586.0 kB	[list of files]
hppa (unofficial port)	1:1.2-8.1	2,180.2 kB	16,690.0 kB	[list of files]
i386	1:1.2-8.1+b3	2,392.9 kB	16,493.0 kB	[list of files]
ia64 (unofficial port)	1:1.2-8	2,587.7 kB	29,218.0 kB	[list of files]
m68k (unofficial port)	1:1.2-8.1+b3	2,041.1 kB	15,921.0 kB	[list of files]
mips64el	1:1.2-8.1+b3	2,341.5 kB	23,515.0 kB	[list of files]
ppc64 (unofficial port)	1:1.2-8.1+b3	2,136.3 kB	21,135.0 kB	[list of files]
ppc64el	1:1.2-8.1+b3	2,180.2 kB	20,648.0 kB	[list of files]
riscv64	1:1.2-8.1+b3	9,353.5 kB	107,890.0 kB	[list of files]
s390x	1:1.2-8.1+b3	2,178.1 kB	19,351.0 kB	[list of files]
sh4 (unofficial port)	1:1.2-8.1+b3	1,727.6 kB	10,740.0 kB	[list of files]
sparc64 (unofficial port)	1:1.2-8.1+b3	1,916.8 kB	19,112.0 kB	[list of files]
x32 (unofficial port)	1:1.2-8.1+b3	2,249.5 kB	16,567.0 kB	[list of files]