×
TaPAS is a set of ANSI C libraries related to Presburger Arithmetic and a small solver program. The architecture of the TaPAS development framework is depicted ...
The suite provides (1) the application programming interface Genepi for this logic with encapsulations of many classical solvers, (2) the BDD-like library SaTAF ...
Mar 17, 2009 · TAPAS is a suite of libraries dedicated to FO (R, Z, +, ≤). The suite provides (1) the application programming interface GENEPI for this logic ...
We maintain two versions of the TaPAS and FASTer; a (relatively) stable version and the main development branch. Archives are compiled every night.
TaPAS provides the application programming interface Genepi for this logic with encapsulations of many classical solvers and the very first implementation ...
The suite provides (1) the application programming interface Genepi for this logic with encapsulations of many classical solvers, (2) the BDD-like library SaTAF ...
TaPAS: The Talence Presburger Arithmetic Suite · List of references · Publications that cite this publication.
... TaPAS is the Talence Presburger Arithmetic Suite. It is a collection of small modules for the computation of sets definable using Presburger logic.
Bibliographic details on TaPAS: The Talence Presburger Arithmetic Suite.
Jun 5, 2023 · TaPAS is a set of ANSI C libraries related to Presburger Arithmetic and a small solver program.