Explore projects
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
TaPAS is a set of ANSI C libraries related to Presburger Arithmetic and a small solver program.
Updated -
Supports pour le cours de Prog Objet - LP DAWIN B - 2022
Updated -
Updated
-
Bordeaux University Hospital OMOP ETL documentation in the context of the European EHDEN project
Updated -
taf / FAST extended release
GNU General Public License v2.0 or laterFAST 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.
Updated -
Updated
-
Updated
-
Updated