lib64ppl_c4 - The Parma Polyhedra Library: a library of numerical abstractions

Property Value
Distribution ROSA 2016.1
Repository ROSA Main x86_64
Package filename lib64ppl_c4-1.1-5-rosa2016.1.x86_64.rpm
Package name lib64ppl_c4
Package version 1.1
Package release 5-rosa2016.1
Package architecture x86_64
Package type rpm
Category Development/C
License GPLv3+
Maintainer -
Download size 909.63 KB
Installed size 3.73 MB
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
lib64ppl_c4 - - -


Name Value - - - - - - - - - - - - - - - - - - - -


Name Value
lib64ppl_c4 == 1.1-5:2016.1 -


Type URL
Binary Package lib64ppl_c4-1.1-5-rosa2016.1.x86_64.rpm
Source Package ppl-1.1-5.src.rpm

Install Howto

  1. Enable ROSA Main repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install lib64ppl_c4 rpm package:
    # urpmi lib64ppl_c4




2017-02-04 - Andrey Bondrov <> 1.1-5
- (abfebc0) MassBuild#1230: Increase release tag

See Also

Package Description
lib64pq5-9.6.1-2-rosa2016.1.x86_64.rpm The shared libraries required for any PostgreSQL clients
lib64pqxx-devel-4.0-7-rosa2016.1.x86_64.rpm Development files for libpqxx
lib64pqxx4.0-4.0-7-rosa2016.1.x86_64.rpm The official C++ client API for PostgreSQL
lib64prelude-devel-1.2.6-4-rosa2016.1.x86_64.rpm Libraries, includes, etc. for developing Prelude IDS sensors
lib64prelude23-1.2.6-4-rosa2016.1.x86_64.rpm Prelude Hybrid Intrusion Detection System Library
lib64preludecpp8-1.2.6-4-rosa2016.1.x86_64.rpm Prelude Hybrid Intrusion Detection System Library
lib64preludedb-devel-1.2.6-3-rosa2016.1.x86_64.rpm Libraries and headers for PreludeDB
lib64preludedb7-1.2.6-3-rosa2016.1.x86_64.rpm Provide the framework for easy access to the Prelude database
lib64preludedbcpp2-1.2.6-3-rosa2016.1.x86_64.rpm Provide the framework for easy access to the Prelude database
lib64processcore4-4.11.22-13-rosa2016.1.x86_64.rpm KDE 4 core library
lib64processcore5_7-5.9.3-1-rosa2016.1.x86_64.rpm Plasma 5 KDE System Guard shared library
lib64processui4-4.11.22-13-rosa2016.1.x86_64.rpm KDE 4 core library
lib64processui5_7-5.9.3-1-rosa2016.1.x86_64.rpm Plasma 5 KDE System Guard shared library
lib64procps-devel-3.3.12-2-rosa2016.1.x86_64.rpm Development files for procps-ng
lib64procps6-3.3.12-2-rosa2016.1.x86_64.rpm Main library for procps-ng