{"id":64,"date":"2012-12-05T16:21:13","date_gmt":"2012-12-05T15:21:13","guid":{"rendered":"https:\/\/project.inria.fr\/pyecdar\/?page_id=64"},"modified":"2013-10-18T05:32:34","modified_gmt":"2013-10-18T03:32:34","slug":"installation","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/pyecdar\/installation\/","title":{"rendered":"Installation"},"content":{"rendered":"<p><\/p>\n<h3>Requirements<\/h3>\n<p>PyECDAR is written in python and requires Python version 2 to run. It includes <a href=\"https:\/\/launchpad.net\/pyppl\">PyPPL<\/a>, some bindings for the PPL library.<\/p>\n<p>Additionally, the following tools and library needs to be installed in order to use all the functionalities of PyECDAR:<\/p>\n<ul>\n<li>UPPAAL DBM Library: download at <a href=\"http:\/\/people.cs.aau.dk\/~adavid\/UDBM\/index.html\">http:\/\/people.cs.aau.dk\/~adavid\/UDBM\/index.html<\/a>.<br \/>\nInstall the library and install the <a href=\"http:\/\/people.cs.aau.dk\/~adavid\/UDBM\/python.html\">python bindings<\/a>. This latter requires <a href=\"http:\/\/www.swig.org\/\">SWIG<\/a>.<\/li>\n<li>Parma Polyhedra Library: binary packages may be available for your system; otherwise download at <a href=\"http:\/\/bugseng.com\/products\/ppl\">http:\/\/bugseng.com\/products\/ppl.<\/a><\/li>\n<li><a href=\"http:\/\/www.swig.org\/\">SWIG<\/a> is needed to compile PyPPL and UPPAAL DBM Library.<\/li>\n<li><a href=\"http:\/\/pyparsing.wikispaces.com\/\">Pyparsing<\/a> is a parsing module for Python.<\/li>\n<\/ul>\n<h3>Installation<\/h3>\n<ul>\n<li>Extract the package at a desired location<\/li>\n<li>Compile PyPPL by running make into the <code>pyppl\/<\/code> directory<\/li>\n<li>Install PyPPL to your system. Into the directory <code>pyppl\/<\/code> run:\n<ul>\n<li>sudo python .\/setup.py install (if you want to install globally) <strong>or<\/strong><\/li>\n<li>python .\/setup install &#8211;user (if you want to install locally)<\/li>\n<\/ul>\n<\/li>\n<li>Optionally, you can also install PyECDAR to your local system by running setup.py in <code>pyecdar\/<\/code> directory.<\/li>\n<\/ul>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>Requirements PyECDAR is written in python and requires Python version 2 to run. It includes PyPPL, some bindings for the PPL library. Additionally, the following tools and library needs to be installed in order to use all the functionalities of PyECDAR: UPPAAL DBM Library: download at http:\/\/people.cs.aau.dk\/~adavid\/UDBM\/index.html. Install the library and install the python bindings. &hellip; <\/p>\n<p><a class=\"more-link btn\" href=\"https:\/\/project.inria.fr\/pyecdar\/installation\/\">Continue reading<\/a><\/p>\n","protected":false},"author":235,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-64","page","type-page","status-publish","hentry","nodate","item-wrap"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/pages\/64","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/users\/235"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/comments?post=64"}],"version-history":[{"count":16,"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/pages\/64\/revisions"}],"predecessor-version":[{"id":459,"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/pages\/64\/revisions\/459"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/media?parent=64"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}