TaPAS swMATH ID: 7286 Software Authors: Leroux, Jérôme; Point, Gérald Description: TaPAS: the talence Presburger arithmetic suite. TaPAS is a suite of libraries dedicated to FO(ℝ,ℤ,+,≤). The suite provides (1) the application programming interface Genepi for this logic with encapsulations of many classical solvers, (2) the BDD-like library SaTAF used for encoding Presburger formulae to automata, and (3) the very first implementation of an algorithm decoding automata to Presburger formulae. Homepage: https://tapas.labri.fr/wp/ Related Software: z3; CVC4; SPIN; LIRA; libVATA; Antichains; LTL2BA; SMT-LIB; McScM; CADP; TREX; cvc3 Cited in: 7 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year TaPAS: the talence Presburger arithmetic suite. Zbl 1234.03002Leroux, Jérôme; Point, Gérald 2009 all top 5 Cited by 11 Authors 3 Demri, Stéphane P. 1 Barrett, Clark W. 1 Bersani, Marcello Maria 1 Clemente, Lorenzo 1 Deters, Morgan 1 Dhar, Amit Kumar 1 Leroux, Jérôme 1 Mayr, Richard M. 1 Point, Gérald 1 Sangnier, Arnaud 1 Schnoebelen, Philippe Cited in 3 Serials 1 Theoretical Computer Science 1 Formal Methods in System Design 1 Logical Methods in Computer Science Cited in 2 Fields 7 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) Citations by Year