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.17)

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

• dep: libgcc-s1 (>= 3.0)

  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

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
arm64	1:1.2-8.1+b1	2,497.5 kB	23,905.0 kB	[list of files]