[PPL-devel] Sage and PPL

[Volker Braun]

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