TaPAS : The Talence Presburger Arithmetic Suite

Jérôme Leroux (1) , Gérald Point (1)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique

TAPAS is a suite of libraries dedicated to FO (R; Z;+;<). 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.

Mots clés: Presburger; NDD; Automata

Domaines: Logiciel mathématique [cs.MS]

Jérôme Leroux, Gérald Point. TaPAS : The Talence Presburger Arithmetic Suite. TACAS, 2009, York, United Kingdom. pp.182-185, ⟨10.1007/978-3-642-00768-2⟩. ⟨hal-00368653⟩