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

Property Value
Distribution OpenMandriva Lx 3.0
Repository OpenMandriva Main Release i586
Package filename libppl_c4-1.2-1-omv2015.0.i586.rpm
Package name libppl_c4
Package version 1.2
Package release 1-omv2015.0
Package architecture i586
Package type rpm
Category Development/C
License GPLv3+
Maintainer -
Download size 705.59 KB
Installed size 3.30 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
libppl_c4 - - -


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


Name Value -
libppl_c4 == 1.2-1:2015.0


Type URL
Binary Package libppl_c4-1.2-1-omv2015.0.i586.rpm
Source Package ppl-1.2-1.src.rpm

Install Howto

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



See Also

Package Description
libpq5-9.4.5-1-omv2015.0.i586.rpm The shared libraries required for any PostgreSQL clients
libpqxx-devel-4.0.1-9-omv2015.0.i586.rpm Headers for developing programs that will use libpqxx
libpqxx4.0-4.0.1-9-omv2015.0.i586.rpm Headers for developing programs that will use libpqxx
libprelude-devel-1.2.6-1-omv2015.0.i586.rpm Libraries, includes, etc. for developing Prelude IDS sensors
libprelude23-1.2.6-1-omv2015.0.i586.rpm Prelude Hybrid Intrusion Detection System Library
libpreludecpp8-1.2.6-1-omv2015.0.i586.rpm Prelude Hybrid Intrusion Detection System Library
libpreludedb-devel-1.2.6-2-omv2015.0.i586.rpm Libraries and headers for PreludeDB
libpreludedb7-1.2.6-2-omv2015.0.i586.rpm Provide the framework for easy access to the Prelude database
libpreludedbcpp2-1.2.6-2-omv2015.0.i586.rpm Provide the framework for easy access to the Prelude database
libpri-devel-1.4.14-9-omv2015.0.i586.rpm Development libraries and headers for libpri
libpri-utils-1.4.14-9-omv2015.0.i586.rpm Various tools for libpri diagnostics
libpri1.4-1.4.14-9-omv2015.0.i586.rpm An implementation of Primate and Basic Rate ISDN
libprison-devel-1.2.0-0.20141220.1-omv2015.0.i586.rpm Prison development files
libprison0-1.2.0-0.20141220.1-omv2015.0.i586.rpm Prison library
libprocesscore4-4.11.22-7-omv2015.0.i586.rpm KDE 4 core library