[PPL-devel] A Python wrapper for PPL
Roberto Bagnara
bagnara at cs.unipr.it
Sun Jan 17 12:08:10 CET 2016
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
>
> [1] http://sagemath.org
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 at cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagnara at bugseng.com
More information about the PPL-devel
mailing list