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

Property Value
Distribution ROSA 2014.1
Repository ROSA Main x86_64
Package name lib64ppl13
Package version 1.1
Package release 2-rosa2014.1
Package architecture x86_64
Package type rpm
Installed size 1.44 MB
Download size 439.59 KB
Official Mirror
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
lib64ppl13 - - -


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


Name Value
lib64ppl13 == 1.1-2:2014.1
lib64pwl5 == 1.1-2:2014.1 -


Name Value
lib64pwl5 < 1.1-2:2014.1


Type URL
Binary Package lib64ppl13-1.1-2-rosa2014.1.x86_64.rpm
Source Package ppl-1.1-2.src.rpm

Install Howto

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




2014-06-27 - Alex Burmashev <> 1.1-2
+ Revision: 37ce774
- MassBuild#440: Increase release tag

See Also

Package Description
lib64ppl_c-devel-1.1-2-rosa2014.1.x86_64.rpm Development tools for the Parma Polyhedra Library C and C++ interfaces
lib64ppl_c-static-devel-1.1-2-rosa2014.1.x86_64.rpm Static archives for the Parma Polyhedra Library C and C++ interfaces
lib64ppl_c4-1.1-2-rosa2014.1.x86_64.rpm The Parma Polyhedra Library: a library of numerical abstractions
lib64pq5-9.3.3-12-rosa2014.1.x86_64.rpm The shared libraries required for any PostgreSQL clients
lib64pq9.0_5-9.0.16-1-rosa2014.1.x86_64.rpm The shared libraries required for any PostgreSQL clients
lib64prelude-devel-1.0.1-11-rosa2014.1.x86_64.rpm Libraries, includes, etc. for developing Prelude IDS sensors
lib64prelude2-1.0.1-11-rosa2014.1.x86_64.rpm Prelude Hybrid Intrusion Detection System Library
lib64preludecpp0-1.0.1-11-rosa2014.1.x86_64.rpm Prelude Hybrid Intrusion Detection System Library
lib64preludedb-devel-1.0.1-0.0.p1.3-rosa2014.1.x86_64.rpm Libraries and headers for PreludeDB
lib64preludedb0-1.0.1-0.0.p1.3-rosa2014.1.x86_64.rpm Provide the framework for easy access to the Prelude database
lib64prison-devel-1.0-3-rosa2014.1.x86_64.rpm Prison development files
lib64prison0-1.0-3-rosa2014.1.x86_64.rpm Prison library
lib64processcore4-4.11.11-13-rosa2014.1.x86_64.rpm KDE 4 core library
lib64processui4-4.11.11-13-rosa2014.1.x86_64.rpm KDE 4 core library
lib64proj-devel-4.8.0-4-rosa2014.1.x86_64.rpm Cartographic projection software - Development files