[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#409786: marked as done (ITP: ppl -- A modern C++ library providing numerical abstractions)

Your message dated Thu, 17 Jul 2008 01:02:23 +0200
with message-id <20080716230035.GA80617@l03.local>
and subject line Closed by version that never made it into the archive
has caused the Debian Bug report #409786,
regarding ITP: ppl -- A modern C++ library providing numerical abstractions
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
409786: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=409786
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 

Package: wnpp
Severity: wishlist

* Package name    : ppl
 Version         : 0.9
 Upstream Author :  Roberto Bagnara <bagnara at cs.unipr.it>
* URL             : http://www.cs.unipr.it/ppl
* License         : GPL
 Description     : A modern C++ library providing numerical abstractions
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. 


Additional infos:
The Parma Polyhedra Library development team already provides a .deb package for sarge 
that they are, of course, willing to improve as required.

--- End Message ---
--- Begin Message --- 
Version: 0.9-2

The closes message was part of 0.9-1, which never really made it to the archive.

Attachment: pgp6Fr_7r3Y0_.pgp
Description: PGP signature


--- End Message ---
Reply to: