Skip to content

GitLab

Explore

Sign in
Register

taf
Talence Presburger Arithmetic Suite

T

Talence Presburger Arithmetic Suite

Project information

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

1,195 Commits
5 Branches
47 Tags

README
LICENSE
CHANGELOG

Created on

June 05, 2023

Copy SSH clone URLgit@gitub.u-bordeaux.fr:taf/tapas.git
Copy HTTPS clone URLhttps://gitub.u-bordeaux.fr/taf/tapas.git