K 10 svn:author V 7 thierry K 8 svn:date V 27 2020-05-17T20:31:16.298736Z K 7 svn:log V 117 Adding pplpy, a Python module providing a wrapper to the C++ Parma Polyhedra Library (PPL). To be used by SageMath. END