ppl - The Parma Polyhedra Library

Property Value
Distribution openSUSE Leap 15.0
Repository Science all
Package filename ppl-1.2-lp150.1.17.x86_64.rpm
Package name ppl
Package version 1.2
Package release lp150.1.17
Package architecture x86_64
Package type rpm
Category Development/Libraries/C and C++
Homepage http://bugseng.com/products/ppl/
License GPL-3.0+
Maintainer -
Download size 89.48 KB
Installed size 314.08 KB
The Parma Polyhedra Library (PPL) is a 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 comes with
several user friendly interfaces, is fully dynamic (available virtual
memory is the only limitation to the dimension of anything), written in
accordance to all the applicable standards, exception-safe, rather
efficient, thoroughly documented, and free software.  This package
provides all what is necessary to run applications using the PPL
through its C and C++ interfaces.


Package Version Architecture Repository
ppl - - -


Name Value
libc.so.6(GLIBC_2.14)(64bit) -
libgcc_s.so.1()(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libgmp.so.10()(64bit) -
libgmpxx.so.4()(64bit) -
libppl.so.14()(64bit) -
libstdc++.so.6()(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(CXXABI_1.3.9)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.11)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.21)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -


Name Value
ppl = 1.2-lp150.1.17
ppl(x86-64) = 1.2-lp150.1.17


Type URL
Mirror widehat.opensuse.org
Binary Package ppl-1.2-lp150.1.17.x86_64.rpm
Source Package ppl-1.2-lp150.1.17.src.rpm

Install Howto

  1. Add the Science repository:
    # zypper addrepo http://widehat.opensuse.org/opensuse/repositories/science/openSUSE_Leap_15.0/ science
  2. Install ppl rpm package:
    # zypper install ppl




2016-10-11 - adam.majer@suse.de
- Update to new upstream release 1.2
* Improved the efficiency of the conversion procedure for
polyhedra by adding a quick adjacency check.
* In the Java language interface, throw an exception when trying
to build a disequality Constraint.
* Fixed a bug in the implementation of dense rows.
* Fixed a bug in the implementation of ::relation_with
* Portability improved.
- soname bumped
2015-11-14 - jengelh@inai.de
- Update to new upstream release 1.1
* Remove the Sparse_Matrix class and add a Matrix<Row> class
* Dense_Row: remove the capacity argument from the two-argument
OK() method.
* Matrix: add some methods: row_capacity(), reserve_rows(),
remove_rows() and swap_columns().
* Dense_Matrix: add non-const iterator and the remove_rows() and
reserve_rows() methods.
* Matrix: rename the row_capacity() method into capacity().
* Remove the Dense_Matrix class, and use Matrix<Dense_Row> instead.
* Constraint_System: replace the const_iterator class with an
external Constraint_System_const_iterator class.
* Generator_System: replace the const_iterator class with an
external Generator_System_const_iterator class.
* Split the Linear_System::With_Bit_Matrix_iterator class out of
Linear_System and rename it to Linear_System_With_Bit_Matrix_iterator.
* Many more API changes. See the git log summary lines for details,
provided in /usr/share/doc/packages/GLS-0.12-1.1.
- Drop ppl-gmp-5.1.0.patch (merged upstream)
2015-11-02 - rpm@fthiessen.de
- Fixed dependencies of devel package.
- Cleaned spec file: Use so-name.
2015-09-27 - mpluskal@suse.com
- Update to 0.12.1
* See NEWS file for complete list of changes
2015-08-04 - mpluskal@suse.com
- Update to 0.12
* See NEWS file for complete list of changes
- Cleanup spec file with spec-clener
- Remove no longer needed dependency on gpg-offline
- Refresh ppl-gmp-5.1.0.patch
- Reduce duplicate files in documentation
2013-09-04 - rguenther@suse.com
- Disable -g when building the testsuite.
2013-04-15 - idonmez@suse.com
- Comment out GPG part, since it'll break bootstrap
2013-04-15 - idonmez@suse.com
- Add Source URL, see https://en.opensuse.org/SourceUrls
- Add GPG verification
2013-03-05 - idonmez@suse.com
- Add ppl-gmp-5.1.0.patch to fix build with new gmp
2012-01-24 - jengelh@medozas.de
- Remove redundant sections (see specfile guidelines)

See Also

Package Description
ppl-devel-1.2-lp150.1.17.x86_64.rpm Development tools for the Parma Polyhedra Library C and C++ interfaces
ppl-devel-static-1.2-lp150.1.17.x86_64.rpm Static libraries for the Parma Polyhedra Library C and C++ interfaces
ppl-doc-1.2-lp150.1.17.noarch.rpm Documentation for the Parma Polyhedra Library
praat-6.0.49-lp150.42.1.x86_64.rpm Phonetics by computer
primme-devel-2.2-lp150.1.1.x86_64.rpm Development and header files for primme
primme-openmpi-devel-2.2-lp150.1.1.x86_64.rpm Development and header files for primme
probcons-1.12-lp150.3.10.x86_64.rpm Multiple Alignments of Protein Sequences
pronsole-2.0.0~rc5.1522069560.e0ee40a-lp150.14.1.noarch.rpm CLI interface for RepRap
pronterface-2.0.0~rc5.1522069560.e0ee40a-lp150.14.1.noarch.rpm GUI interface for RepRap
ptscotch-mpich-6.0.6-lp150.10.1.x86_64.rpm Graph, mesh and hypergraph partitioning library
ptscotch-mpich-devel-6.0.6-lp150.10.1.x86_64.rpm Development libraries for scotch
ptscotch-mpich-devel-static-6.0.6-lp150.10.1.x86_64.rpm Development libraries for scotch
ptscotch-mvapich2-6.0.6-lp150.10.1.x86_64.rpm Graph, mesh and hypergraph partitioning library
ptscotch-mvapich2-devel-6.0.6-lp150.10.1.x86_64.rpm Development libraries for scotch
ptscotch-mvapich2-devel-static-6.0.6-lp150.10.1.x86_64.rpm Development libraries for scotch