gitub.u-bordeaux.fr / taf 2 Dépôts
taf/tapas
TaPAS is a set of ANSI C libraries related to Presburger Arithmetic and a small solver program.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
taf/faster
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.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0