Communication Dans Un Congrès Année : 2009

TaPAS : The Talence Presburger Arithmetic Suite

Résumé

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

Fichier principal
Vignette du fichier
2009.Leroux_Point.TACAS2009.pdf (69.06 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-00368653 , version 1 (17-03-2009)

Licence

Identifiants

Citer

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⟩
274 Consultations
305 Téléchargements

Altmetric

Partager

  • More