lib64ppl13-1.1-2-rosa2014.1.x86_64.rpm


Advertisement

Description

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

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: mirror.rosalab.ru
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.

Alternatives

Provides

  • lib64ppl13 == 1.1-2:2014.1
  • lib64pwl5 == 1.1-2:2014.1
  • libppl.so.13()(64bit)

Obsoletes

  • lib64pwl5 < 1.1-2:2014.1

    Download

    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

    Files

    • /usr/lib64/libppl.so.13
    • /usr/lib64/libppl.so.13.0.0
    • /usr/lib64/ppl
    • /usr/share/doc/ppl/BUGS
    • /usr/share/doc/ppl/COPYING
    • /usr/share/doc/ppl/CREDITS
    • /usr/share/doc/ppl/NEWS
    • /usr/share/doc/ppl/README
    • /usr/share/doc/ppl/README.configure
    • /usr/share/doc/ppl/TODO
    • /usr/share/doc/ppl/gpl.txt

    Changelog

    2014-06-27 - Alex Burmashev <alex.burmashev@rosalab.ru> 1.1-2 + Revision: 37ce774 - MassBuild#440: Increase release tag

    Advertisement
    Advertisement