[PPL-devel] [GIT] ppl/w3ppl(master): Added link to Sage.

[Roberto Bagnara]

Module: ppl/w3ppl
Branch: master
Commit: 79cbc4d4552e6137e368818127e1183e022a3895
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=79cbc4d4552e6137e368818127e1183e022a3895

Author: Roberto Bagnara <bagnara at 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