[Savannah-register-public] [task #5179] Submission of Parma Polyhedra Library

[Roberto Bagnara]

URL:
  <http://savannah.gnu.org/task/?func=detailitem&item_id=5179>

                 Summary: Submission of Parma Polyhedra Library
                 Project: Savannah Administration
            Submitted by: bagnara
            Submitted on: Sat 01/21/06 at 07:57
         Should Start On: Sat 01/21/06 at 00:00
   Should be Finished on: Tue 01/31/06 at 00:00
                Category: Project Approval
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
             Assigned to: None
        Percent Complete: 0%
             Open/Closed: Open
                  Effort: 0.00

    _______________________________________________________

Details:

A new project has been registered at Savannah 
The project account will remain inactive until a site admin approve or
discard the registration.


######### REGISTRATION ADMINISTRATION #########

While this item will be useful to track the registration process, approving
or discarding the registration must be done using the specific "Group
Administration" page, accessible only to site administrators, effectively
logged as site administrators (superuser):

  <https://savannah.gnu.org/admin/groupedit.php?group_id=8302>


######### REGISTRATION DETAILS ######### 

Full Name:
----------
  Parma Polyhedra Library

System Group Name:
-----------------
  ppl

Type:
-----
  non-GNU software & documentation

License:
-------- 
  GNU General Public License V2 or later

Description:
------------
  The Parma Polyhedra Library (PPL, http://www.cs.unipr.it/ppl/) is a modern
C++ library providing numerical abstractions especially targeted at
applications in the field of analysis and verification of complex systems.
The PPL can handle all the convex polyhedra that can be defined as the
intersection of a finite number of (open or closed) hyperspaces, each
described by an equality or inequality (strict or non-strict) with rational
coefficients. The PPL also handles restricted classes of polyhedra that offer
interesting complexity/precision tradeoffs. The library also supports finite
powersets of (any kind of) polyhedra and linear programming problems solved
with an exact-arithmetic version of the simplex algorithm.


Other Software Required:
------------------------
  GMP (the GNU Multiple Precision library)









    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/task/?func=detailitem&item_id=5179>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/