[PPL-devel] Sage and PPL

[Roberto Bagnara]

On 08/18/11 16:08, Volker Braun wrote:
> Dear PPL-developers,
>
> I'm happy to announce that the Parma Polyhedra Library is now used in
> Sage-4.7.1 (www.sagemath.org) for polyhedral computations. This includes
> a Python/Cython interface
>
> http://www.sagemath.org/doc/reference/sage/libs/ppl.html
>
> on which Sage's polyhedral objects are based (or being transitioned
> to).
>
> Thank you for your hard work and quick response to bug reports!
> Volker Braun

Thank you very much Volker: your words are much appreciated.
We just added a link to Sage from our page about PPL applications.
Cheers,

     Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it