Explore projects

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

Supports pour le cours de Prog Objet - LP DAWIN B - 2022