A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
TaPAS: The Talence Presburger Arithmetic Suite
[chapter]
2009
Lecture Notes in Computer Science
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.
doi:10.1007/978-3-642-00768-2_18
fatcat:anqigt4kpjauxeztbi2xmvekwu