Module: ppl/w3ppl Branch: master Commit: 79cbc4d4552e6137e368818127e1183e022a3895 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=79cbc4d4552... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Fri Aug 19 08:57:30 2011 +0200 Added link to Sage. --- htdocs/Applications/Applications.raw | 9 +++++++++ 1 files changed, 9 insertions(+), 0 deletions(-) diff --git a/htdocs/Applications/Applications.raw b/htdocs/Applications/Applications.raw index 00c429c..67129b0 100644 --- a/htdocs/Applications/Applications.raw +++ b/htdocs/Applications/Applications.raw @@ -10,10 +10,19 @@ Here are the ones we are aware of. <UL> <LI> + The <A HREF="http://www.sagemath.org/">Sage</A> + mathematics software system uses the Parma Polyhedra Library + for polyhedral computations. This includes a + <A HREF="http://www.sagemath.org/doc/reference/sage/libs/ppl.html">Python/Cython interface</A> + on which Sage's polyhedral objects are based. + </LI> +<P> + <LI> The <A HREF="http://spaceex.imag.fr/">SpaceEx</A> tool platform facilitates the implementation of algorithms related to reachability and safety verification. </LI> +<P> <LI> <A HREF="http://gcc.gnu.org/wiki/Graphite">Graphite</A> (Gimple Represented as Polyhedra), a framework for high-level