Filewatcher File Search File Search
Catalog
Content Search
» » » » » »

ppl

The Parma Polyhedra Library: a library of numerical abstractions

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.
Homepage:
Package version:0.10.2
Architecture:i686
Distribution:CentOS
Filename:ppl-0.10.2-11.el6.i686.rpm

/usr/share/doc/ppl-0.10.2/README

Copyright (C) 2001-2009 Roberto Bagnara <bagnara@cs.unipr.it>
See below for the copying conditions.


Parma Polyhedra Library (Release 0.10.2)
========================================

This is the release 0.10.2 of the Parma Polyhedra Library:
a C++ library for (not necessarily closed) convex polyhedra
and other numerical abstractions.

To be more precise, the Parma Polyhedra Library (PPL) can han
more»

/usr/share/doc/ppl-0.10.2/README.configure

Copyright (C) 2001-2009 Roberto Bagnara <bagnara@cs.unipr.it>
See below for the copying conditions.


Configuration of the Parma Polyhedra Library
============================================

Contents
--------

1. The Standard Thing (configure, make, make install)
2. Using the Right Version of GMP
3. Using the Right C and C++ Compilers
4. Enabling the Use of Alternative Coefficient Types
5. Confi
more»

/usr/share/doc/ppl-0.10.2/NEWS

Parma Polyhedra Library NEWS -- history of user-visible changes
===============================================================


--------------------------------------------------------------------------
NEWS for version 0.10.2  (released on April 18, 2009)
--------------------------------------------------------------------------

Bugfixes
========

o  Correctly detect GMP 4.3.0.

o  Fixed the 
more»

/usr/share/man/man1/ppl-config.1.gz

PPL-CONFIG(1)               User Commands              PPL-CONFIG(1)



NAME
       ppl-config  - ob
more»

/usr/share/doc/ppl-0.10.2/TODO

Enhancements for PPL 0.11
=========================

- Add the domain of circular linear progressio
more»

/usr/share/doc/ppl-0.10.2/BUGS

The PPL developers encourage you to report any bugs you find to
ppl-devel@cs.unipr.it.  Here `bug' 
more»

/usr/share/doc/ppl-0.10.2/COPYING

                    GNU GENERAL PUBLIC LICENSE
                       Version 3, 29 June 2007

 Copy
more»

Browse inside ppl-0.10.2-11.el6.i686.rpm

1.33 KB2014-11-27HEADER  view  43 mirrors
         [DIR]usr/ (3)  65535+ mirrors

Download ppl-0.10.2-11.el6.i686.rpm

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com