TaPAS est une suite de modules pour le calcul de ensembles définissables en utilisant la logique de Presburger. Il s'agit d'une collection de petites bibliothèques qui ont été initialement distribuées dans des archives séparées, mais qui ont depuis été agrégées dans une seule bibliothèque. Chaque module est décrit brièvement dans le fichier README.