TaPAS : The Talence Presburger Arithmetic Suite - Archive ouverte HAL
Conference Papers Year : 2009

TaPAS : The Talence Presburger Arithmetic Suite

Jérôme Leroux
Laboratoire Bordelais de Recherche en Informatique
CV
Gérald Point
Laboratoire Bordelais de Recherche en Informatique

Abstract

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.

Keywords

Presburger NDD Automata

Domains

Mathematical Software [cs.MS]
Fichier principal
Vignette du fichier
2009.Leroux_Point.TACAS2009.pdf (69.06 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Jérôme Leroux  : Connect in order to contact the contributor

https://hal.science/hal-00368653

Submitted on : Tuesday, March 17, 2009-10:44:02 AM

Last modification on : Friday, March 24, 2023-2:52:51 PM

Long-term archiving on : Friday, October 12, 2012-1:41:26 PM

Download

Dates and versions

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

Identifiers

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ANR
179 View
175 Download

Altmetric

Share

More