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