Skip to content
T

Talence Presburger Arithmetic Suite

Project ID: 1540

TaPAS is a set of ANSI C libraries related to Presburger Arithmetic and a small solver program.