{"id":10,"date":"2017-02-17T10:56:13","date_gmt":"2017-02-17T09:56:13","guid":{"rendered":"https:\/\/tapas.labri.fr\/wp\/?page_id=10"},"modified":"2017-02-17T16:08:15","modified_gmt":"2017-02-17T15:08:15","slug":"home","status":"publish","type":"page","link":"https:\/\/tapas.labri.fr\/wp\/","title":{"rendered":"Looking for TaPAS ?"},"content":{"rendered":"<p><strong>TaPAS<\/strong> is a set of ANSI C libraries related to Presburger Arithmetic and a small solver program. The architecture of the TaPAS development framework is depicted on the figure below.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\" wp-image-11 alignright\" src=\"https:\/\/tapas.labri.fr\/wp\/wp-content\/uploads\/2017\/02\/tapas-archi-300x246.png\" alt=\"\" width=\"363\" height=\"300\" \/><\/p>\n<p>This suite is composed of:<\/p>\n<ul>\n<li><a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=13\">GENEPI<\/a>, a generic API that can be used as a Presburger formula solver.<\/li>\n<li>a set of <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=13#Plugins\">plugins<\/a> for the <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=13\">GENEPI<\/a> solver. Among them <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=14\">PresTAF<\/a> is the only one that permit to synthesis Presburger formulas from sets encoded by binary automata.<\/li>\n<li>a language <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=17\">Armoise<\/a> to describe sets over integer or real numbers.<\/li>\n<li>a compiler <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=20\">Alambic<\/a> that transforms <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=17\">Armoise<\/a> specifications into Presburger formulas and solve them using <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=13\">GENEPI<\/a>.<\/li>\n<li>an <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=17\">Armoise<\/a> formula synthesizer integrated into the <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=14\">PresTAF<\/a> plugin.<\/li>\n<li>a solver program called <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=20\">distiller<\/a> (distributed with the <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=20\">Alambic<\/a> packages) that exemplifies how to use all these libraries.<\/li>\n<\/ul>\n<p>The well-known <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=23\">FASTer<\/a> tool uses the <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=13\">GENEPI<\/a> solver.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>TaPAS is a set of ANSI C libraries related to Presburger Arithmetic and a small solver program. The architecture of the TaPAS development framework is depicted on the figure below. This suite is composed of: GENEPI, a generic API that &hellip; <a href=\"https:\/\/tapas.labri.fr\/wp\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-10","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/10","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=10"}],"version-history":[{"count":11,"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/10\/revisions"}],"predecessor-version":[{"id":95,"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/10\/revisions\/95"}],"wp:attachment":[{"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=10"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}