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

[ Source: ppl  ]

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.

Tags: Role: Shared Library

Other Packages Related to libppl-swi

• dep: libc6 (>= 2.11) [hppa]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.38) [amd64, arm64, mips64el, ppc64, ppc64el]

  dep: libc6 (>= 2.4) [armel, armhf, i386]

• dep: libc6.1 (>= 2.29) [ia64]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6.1-udeb

• dep: libgcc-s1 (>= 3.0) [not armel, armhf, hppa, ia64]

  libreria di supporto a GCC

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  libreria di supporto a GCC

• dep: libgmp10 [hppa, ia64]

  libreria aritmetica a precisione multipla

  dep: libgmp10 (>= 2:6.3.0+dfsg) [not hppa, ia64]

• dep: libgmpxx4ldbl [hppa, ia64]

  libreria aritmetica a precisione multipla (collegamenti C++)

  dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg) [not 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+b3) [not hppa, ia64]

• dep: libstdc++6 (>= 13.1) [not hppa, ia64]

  libreria GNU Standard C++, versione 3

  dep: libstdc++6 (>= 9) [hppa, ia64]

• dep: libswipl9t64 [not hppa, ia64]

  virtual package provided by swi-prolog-core

• dep: libunwind8 [ia64]

  libreria per tracciare la catena di chiamate di un programma - runtime

• dep: swi-prolog

  interprete Prolog in stile ISO/Edinburgh

• dep: swi-prolog-nox (>= 8.0.3+dfsg) [ia64]

  interprete Prolog in stile ISO/Edinburgh - senza supporto per X

  dep: swi-prolog-nox (>= 8.1.28+dfsg) [hppa]

Download libppl-swi

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	1:1.2-8.1+b3	3,379.6 kB	28,867.0 kB	[list of files]
arm64	1:1.2-8.1+b3	2,769.2 kB	25,916.0 kB	[list of files]
armel	1:1.2-8.1+b3	1,676.9 kB	13,224.0 kB	[list of files]
armhf	1:1.2-8.1+b3	1,671.4 kB	13,165.0 kB	[list of files]
hppa (unofficial port)	1:1.2-8.1	2,859.8 kB	25,022.0 kB	[list of files]
i386	1:1.2-8.1+b3	20,272.3 kB	108,028.0 kB	[list of files]
ia64 (unofficial port)	1:1.2-8	3,328.5 kB	43,756.0 kB	[list of files]
mips64el	1:1.2-8.1+b3	2,641.8 kB	34,534.0 kB	[list of files]
ppc64 (unofficial port)	1:1.2-8.1+b3	2,858.0 kB	28,035.0 kB	[list of files]
ppc64el	1:1.2-8.1+b3	2,910.6 kB	27,423.0 kB	[list of files]