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

[ 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.1)

  Parma Polyhedra Library (interfaccia C)

• dep: libppl14 (= 1:1.2-8.1)

  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

Download for all available architectures

Architecture	Package Size	Installed Size	Files
arm64	1,992.6 kB	18,600.0 kB	[list of files]