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

libppl0.11-dev

Parma Polyhedra Library (development)

Variants:
The Parma Polyhedra Library (PPL) is a C++ 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 is user friendly (you write `x + 2*y + 5*z <= 7' when you mean it), fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in standard C++, exception-safe, rather efficient and thoroughly documented.

This package provides the header files and static libraries for the C and C++ interfaces.

Homepage:
Package version:0.11.2-8
Architecture:i386
Distribution:Debian
Filename:libppl0.11-dev_0.11.2-8_i386.deb

/usr/share/doc/libppl0.11-dev/README.gz

Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
See below for the copying conditions.


Parma Polyhedra Library (Release 0.11.2)
========================================

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

To b
more»

/usr/share/doc/libppl0.11-dev/NEWS.gz

Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)

Verbatim copying and distribution of this entire article is permitted
in any medium, provided this notice is preserved.


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


----------------------------
more»

/usr/share/man/man3/libppl.3.gz

libppl(3)                  libppl overview                 libppl(3)



NAME
       libppl - the C++ interface of the Parma Polyhedra Library

SYNOPSIS
       #include <ppl.hh>

       c++ file.cc -lppl


DESCRIPTION
       This  is  a  short overview on how to use the Parma Polyhedra
       Library (PPL) in your C++  programs  on  Unix-like  operating
       systems.   Note that the PPL has inter
more»

/usr/share/man/man3/libppl_c.3.gz

libppl_c(3)               libppl_c overview              libppl_c(3)



NAME
       libppl_c - the C
more»

/usr/share/doc/libppl0.11-dev/changelog.Debian.gz

ppl (0.11.2-8) unstable; urgency=low

  * Split out a ppl-dev package with the ppl-config binary.

 
more»

/usr/share/doc/libppl0.11-dev/changelog.gz

2011-02-27  Roberto Bagnara <bagnara@cs.unipr.it>

	* PPL 0.11.2 released.

2011-02-27  Roberto Bagn
more»

/usr/share/doc/libppl0.11-dev/copyright

This is Debian GNU's prepackaged version of the Parma Polyhedra Library (PPL):
a C++ library for the
more»

/usr/share/doc/libppl0.11-dev/BUGS

The PPL developers encourage you to report any bugs you find using the
bug tracking system availabl
more»

Browse inside libppl0.11-dev_0.11.2-8_i386.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (4)  65535+ mirrors

Download libppl0.11-dev_0.11.2-8_i386.deb

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