餐前小吃 swMATH ID: 7286 软件作者： 勒鲁，杰罗姆；盖拉尔·波因特 说明： TaPAS：塔伦斯·普雷斯伯格算法套件。TaPAS是一套专门用于FO的库(ℝ,ℤ,+,≤). 该套件提供了（1）该逻辑的应用程序编程接口Genepi以及许多经典解算器的封装，（2）用于将Presburger公式编码为自动机的类似BDD的库SaTAF，以及（3）将自动机解码为Presburge公式的算法的第一个实现。 主页： https://tapas.labri.fr/wp/ 相关软件： z3（零3）;CVC4型;自旋蛋白;LIRA公司;利瓦塔;反链;LTL2BA公司;SMT-LIB公司;McScM公司;CADP公司;TREX公司;cvc3型 引用于： 7文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 TaPAS：塔伦斯·普雷斯伯格算法套件。 Zbl 1234.03002号杰罗姆·勒鲁;盖拉尔·波因特 2009 全部的 前5名11位作者引用 三 Stéphane P.德姆里。 1 克拉克·W·巴雷特。 1 马尔塞洛·玛丽亚·贝尔萨尼 1 洛伦佐·克莱门特 1 Deters，摩根 1 阿米特·库马尔·达尔 1 杰罗姆·勒鲁 1 理查德·梅尔。 1 盖拉尔·波因特 1 阿诺德·桑尼尔 1 菲利普·施诺贝伦 3篇连载文章中引用 1 理论计算机科学 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 在2个字段中引用 7 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的引文