{"id":23,"date":"2017-02-17T10:55:50","date_gmt":"2017-02-17T09:55:50","guid":{"rendered":"https:\/\/tapas.labri.fr\/wp\/?page_id=23"},"modified":"2017-02-22T12:51:00","modified_gmt":"2017-02-22T11:51:00","slug":"fast-extended-release","status":"publish","type":"page","link":"https:\/\/tapas.labri.fr\/wp\/?page_id=23","title":{"rendered":"FAST extended release"},"content":{"rendered":"<p>You are on the download page of the new version of the FAST tool. The <a class=\"ext-link\" href=\"http:\/\/www.lsv.ens-cachan.fr\/fast\/\"><span class=\"icon\">\u200b<\/span>official home page<\/a> is hosted by the <a class=\"ext-link\" href=\"http:\/\/www.lsv.ens-cachan.fr\/\"><span class=\"icon\">\u200b<\/span>LSV<\/a> laboratory.<\/p>\n<h2 id=\"ShortdescriptionofFASTExtendedRelease\">Short description of FAST Extended Release<\/h2>\n<p>In this new release algorithms used to accelerate transitions are separated from those used to encode solutions of Presburger formulas. The encoding of solutions is realized by means of <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=13\">GENEPI<\/a> plugins loaded when FASTer is started.<\/p>\n<h2 id=\"Downloads\">Downloads<\/h2>\n<p><a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=23\">FASTer<\/a>, <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=13\">GENEPI<\/a> and <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=13#Plugins\">Genepi plugins<\/a> are downloadable from\u00a0<a href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=98\">Download<\/a> page.<\/p>\n<h2 id=\"BugreportingandFeaturerequests\">Bug reporting and Feature requests<\/h2>\n<p>Report any bug and do not hesitate to request us for improvement using the <a href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=51\">contact<\/a> form.<\/p>\n<h2 id=\"Benchmarks\">Benchmarks<\/h2>\n<p>We have compared performances of <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=13#Plugins\">Genepi plugins<\/a> on <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=23\">FAST<\/a> models (these files are distributed within the FAST package). Results of benchmarks are given on these <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=100\">page<\/a>. Since the semi-algorithm implemented in <a class=\"wiki\" href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=23\">FAST<\/a> may make random choices, each test is parameterized by the seed of the random number generator; the seed is given in the second column of the table.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>You are on the download page of the new version of the FAST tool. The \u200bofficial home page is hosted by the \u200bLSV laboratory. Short description of FAST Extended Release In this new release algorithms used to accelerate transitions are &hellip; <a href=\"https:\/\/tapas.labri.fr\/wp\/?page_id=23\">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-23","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/23","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=23"}],"version-history":[{"count":6,"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/23\/revisions"}],"predecessor-version":[{"id":120,"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/23\/revisions\/120"}],"wp:attachment":[{"href":"https:\/\/tapas.labri.fr\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=23"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}