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@fedoraproject.org ReportedBy: andreac81@hotmail.com QAContact: fedora-package-review@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.