What is TRAG

TRAG is a project carried out at the LaBRI (Laboratoire Bordelais de Recherche en Informatique) at the University of Bordeaux. TRAG integrates and extends several previously developped systems such as

• Autowrite to work on terms, term rewriting systems, term automata,
• Autograph to work on graphs, clique-width terms and term automata verifying graph properties,
• Enum a system dealing with enumeration,
• Graph a system for handling graphs ,
• Decomp for decomposing graphs to clique-width terms.

Obtaining TRAG

The sources of the project are stored on the GIT Bitbucket server and clonable (after asking for permission) with

 git clone https://idurand@bitbucket.org/idurand/trag.git

The TRAG distribution is publically available for research purposes.

Some features of Autograph are accessible online at trag.labri.fr
Preliminary version of a Users'Manual for the online version.

See the video presentation with demonstration.

Contact information

Should you have any comments or suggestions regarding TRAG, or ideas on new functionalities that you would like to see in future releases of TRAG, please send them to irene.durand@u-bordeaux.fr.

Pointers to relevant sites

Here are some pointers to other sites with similar interests, listed by topic.

Object Enumeration

Term Rewriting

Steele Bank Common Lisp (SBCL)

Last modification: