Talence Presburger Arithmetic Suite

Project information

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

Created on

June 05, 2023

Loading