Home My Page Projects Code Snippets Project Openings TaPAS
Summary Activity SCM Listes Sympa

Project description

TaPAS is the Talence Presburger Arithmetic Suite.

This project contains C libraries for the manipulation and decision of formulas expressed in the Presburger arithmetic.

Public Tools
SCM Repository (Git: 39 updates, 3 adds)
Project Members