{"id":21,"date":"2013-09-23T11:54:50","date_gmt":"2013-09-23T11:54:50","guid":{"rendered":"http:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wordpress\/?page_id=21"},"modified":"2013-09-28T10:28:25","modified_gmt":"2013-09-28T08:28:25","slug":"tools","status":"publish","type":"page","link":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/tools\/","title":{"rendered":"Tool List"},"content":{"rendered":"<ul>\n<li><a href=\"http:\/\/www.piplib.org\/\">PIP\/PipLib<\/a> &#8211; A parametric integer linear programming solver<\/li>\n<li><a href=\"http:\/\/icps.u-strasbg.fr\/polylib\/\">PolyLib<\/a> &#8211; A library of polyhedral functions<\/li>\n<li><a href=\"http:\/\/compsys-tools.ens-lyon.fr\/clak\/index.html\">Clak<\/a> &#8211; Critical Lattice Kernel Library<\/li>\n<li><a href=\"http:\/\/compsys-tools.ens-lyon.fr\/wtc\/index.html\">WTC<\/a> &#8211; A toolsuite to prove termination\/compute WCETs<\/li>\n<li><a href=\"http:\/\/compsys-tools.ens-lyon.fr\/simple\/index.html\">Simplification<\/a> &#8211; Simplification of Boolean Affine Formulas<\/li>\n<li><a href=\"http:\/\/laure.gonnord.org\/pro\/aspic\/aspic.html\">Aspic<\/a> &#8211; Invariant generator<\/li>\n<p><!--\t\n\n<li>Our <a href=\"http:\/\/compsys-tools.ens-lyon.fr\/\">online demonstrator<\/a><\/li>\n\n-->\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>PIP\/PipLib &#8211; A parametric integer linear programming solver PolyLib &#8211; A library of polyhedral functions Clak &#8211; Critical Lattice Kernel Library WTC &#8211; A toolsuite to prove termination\/compute WCETs Simplification &#8211; Simplification of Boolean Affine Formulas Aspic &#8211; Invariant generator<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-21","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wp-json\/wp\/v2\/pages\/21","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wp-json\/wp\/v2\/comments?post=21"}],"version-history":[{"count":8,"href":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wp-json\/wp\/v2\/pages\/21\/revisions"}],"predecessor-version":[{"id":108,"href":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wp-json\/wp\/v2\/pages\/21\/revisions\/108"}],"wp:attachment":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wp-json\/wp\/v2\/media?parent=21"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}