Une mise à jour de GitLab est planifiée le 26/09/2023 entre 08h00 et 09h00.
TaPAS is a set of ANSI C libraries related to Presburger Arithmetic and a small solver program.
FAST extended release is the sequel of FAST model-checker developped at LSV.
This tools has been extended with TaPAS libraries in order to accept plugins for solvers of
the Presburger arithmetic.