The Talence Presburger Arithmetic Suite

Main menu

Skip to primary content
Skip to secondary content
  • Home
  • Components
    • The Armoise language
    • The Alambic library and the Distiller tool
    • GENEric Presburger programming Interface
    • SATAF/PresTAF libraries
  • FASTer
  • Download
  • Publications
  • Support
    • API of TaPAS (current)
    • API of TaPAS (stable)
  • Team

Team

Jérôme Leroux,
TaPAS Project Leader
Research Director at CNRS/LaBRI.

 

 

Gérald Point,
TaPAS Software Designer
Research Engineer at CNRS/LaBRI

This site uses functional cookies and external scripts to improve your experience.

Privacy settings

Privacy Settings

This site uses functional cookies and external scripts to improve your experience. Which cookies and scripts are used and how they impact your visit is specified on the left. You may change your settings at any time. Your choices will not impact your visit.

NOTE: These settings will only apply to the browser and device you are currently using.

Accept our cookies

Powered by Cookie Information