Explore projects

a graph generator

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