
17 Jan
2016
17 Jan
'16
12:08 p.m.
On 01/16/2016 09:26 PM, Vincent Delecroix wrote:
Dear ppl developers,
As I needed it, I isolated the Python wrapper for PPL from the Sage project [1] as a standalone Python package. It can be found here
https://github.com/videlec/pplpy https://pypi.python.org/pypi/pplpy/
Any remark or comment is very welcome. Thanks for this very efficient library!
All best, Vincent
Hello Vincent,
nice contribution! At the next update of the web site, we will make sure that interface is mentioned and linked. With kind regards,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara@cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagnara@bugseng.com