TaPAS  0.2
TaPAS

the Talence Presburger Arithmetic Suite