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 ...

The suite provides (1) the application programming interface Genepi for this logic with encapsulations of many classical solvers, (2) the BDD-like library SaTAF ...

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 ...

... TaPAS is the Talence Presburger Arithmetic Suite. It is a collection of small modules for the computation of sets definable using Presburger logic.

Jun 5, 2023 · TaPAS is a set of ANSI C libraries related to Presburger Arithmetic and a small solver program.

Bibliographic details on TaPAS: The Talence Presburger Arithmetic Suite.

The suite provides: (1) the application programming interface GENEPI for this logic with encapsulations of many classical solvers, (2) the BDD-like library ...