Explore projects

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.

UB fork of the js-y86 project by Victor AGUILAR and Xuming ZENG

Go extension for Visual Studio Code

This is to a way to hold and publish easily my web content.