ppl-dev - Parma Polyhedra Library (development binaries)

Distribution: Ubuntu 16.04 LTS (Xenial Xerus)
Repository: Ubuntu Universe amd64
Package name: ppl-dev
Package version: 1.1
Package release: 7.2build1
Package architecture: amd64
Package type: deb
Installed size: 282 B
Download size: 32.47 KB
Official Mirror: archive.ubuntu.com
The Parma Polyhedra Library (PPL) is a C++ library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library is user friendly (you write `x + 2*y + 5*z <= 7' when you mean it), fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in standard C++, exception-safe, rather efficient and thoroughly documented. This package provides the ppl-config binary.



  • libppl0.11-dev


    Source package: ppl

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install ppl-dev deb package:
      # sudo apt-get install ppl-dev


    • /usr/bin/ppl-config
    • /usr/share/doc/ppl-dev/changelog.Debian.gz
    • /usr/share/doc/ppl-dev/copyright
    • /usr/share/man/man1/ppl-config.1.gz


    2016-02-22 - Matthias Klose <doko@ubuntu.com> ppl (1:1.1-7.2build1) xenial; urgency=medium * No-change upload for swi-prolog update.

    2015-12-11 - Matthias Klose <doko@debian.org> ppl (1:1.1-7.2) unstable; urgency=medium * Non-maintainer upload. * Restore the libppl-doc and libppl-swi packages, not built by mistake in the previous upload.

    2015-12-07 - Matthias Klose <doko@debian.org> ppl (1:1.1-7.1) unstable; urgency=medium * Non-maintainer upload. * Fix build failure with with swi-prolog 7.x (Roberto Bagnara). Closes: #787486.

    2015-09-21 - Michael Tautschnig <mt@debian.org> ppl (1:1.1-7) unstable; urgency=medium * Rename C++ library package for the libstdc++ v5 transition. Thanks Simon McVittie for providing the necessary patch and chasing all this up. Closes: #799641. * Run gzip with -n to enable reproducible builds

    2015-08-25 - Michael Tautschnig <mt@debian.org> ppl (1:1.1-6) unstable; urgency=low * Re-adopting the package. Closes: #791996. * libppl-dev.maintscript: Perform the symlink_to_dir migration of /usr/share/doc/libppl-dev. The symlink dates back to the package in lenny as the libppl-dev package did not exist in squeeze or wheezy. Closes: #788455. * libppl-dev: Update Breaks+Conflicts to match Replaces+Provides. * Thanks Andreas Beckmann <anbe@debian.org> for those two patches.

    2015-07-22 - Matthias Klose <doko@debian.org> ppl (1:1.1-5) unstable; urgency=medium * QA upload. * Orphan the package. Not used anymore for recent GCC versions. See #791996. * Build with -fpermissive. Works around a ftbfs. * Ignore test results; the prolog tests currently fail with swi-prolog 7.2. Addresses: #787486.

    2015-04-29 - Matthias Klose <doko@debian.org> ppl (1:1.1-4) unstable; urgency=medium * Fix build with doxygen 1.8.9.

    2014-07-25 - Matthias Klose <doko@debian.org> ppl (1:1.1-3) unstable; urgency=medium * Build using dh-autoreconf instead of autotools-dev. Closes: #755959. * Define our own \+ latex command. Closes: #751355. * Fix linking of libppl_tests.

    2014-03-21 - Matthias Klose <doko@debian.org> ppl (1:1.1-2) unstable; urgency=medium * Work around GCC PR target/60609 to avoid the build failure of the SWI Prolog bindings on armhf.

    2013-12-23 - Matthias Klose <doko@debian..org> ppl (1:1.1-1) unstable; urgency=medium * PPL 1.1 release.