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: 25 updates, 3 adds)
Project Members
Click to toggle
[8] Uninitialized string offset: 0 (/opt/gforge/common/include/gettext.php at 67)
[8] Uninitialized string offset: 1 (/opt/gforge/common/include/gettext.php at 67)