[Bug 227669] New: Review Request: <ppl-0.9> - <A modern C++ library providing numerical abstractions>

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug report.




https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=227669

           Summary: Review Request: <ppl-0.9> - <A modern C++ library
                    providing numerical abstractions>
           Product: Fedora Extras
           Version: devel
          Platform: All
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: normal
         Component: Package Review
        AssignedTo: nobody at fedoraproject.org
        ReportedBy: andreac81 at hotmail.com
         QAContact: fedora-package-review at redhat.com


Spec URL:  http://www.cs.unipr.it/~cimino/ppl.spec
SRPM URL: http://www.cs.unipr.it/~cimino/ppl-0.9-1.src.rpm

Description: The Parma Polyhedra Library (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.

We are willing tho improve the .spec file to meet the Fedora standards.

-- 
Configure bugmail: https://bugzilla.redhat.com/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug, or are watching the QA contact.