Trace Format for Finite Domain Solvers

More about the project

Project Description

The purpose of this project is to build a repository of constraint problems resolution traces and of trace production and analysis tools, with the objective to gather and exchange experiences in complex problem resolution and useful observation of constraint solving.

The project organisation is as follows: there are three collections of subprojects.

The first collection consists of problem examples classified in three categories illustrative, classical and practical application problems. Each problem has an index page containing links to local or abroad pages concerning trace production and/or trace analysis for this problem.

The second collection consists of solvers or references to solvers with tracing capabilities. The objective is to facilitate and discuss the solver trace generation. Corresponding packages can be downloaded; it is requested that the produced traces satisfie the gentr4cp format.

Gentra4cp is a generic trace format for finite domain solvers that enables debugging tools to be defined almost independently from finite domain solvers, and conversely, tracers to be built independently from these tools. Any information about this format (XML syntax and semantics) can found at here.

The third collection consists of analysis tools. The objective is to encourage the collaborative development of trace analysis tools and to share experiences about problem analysis using specific solver and analysis tool.

Objective of this sourceforge project is to disseminate the results of the former OAdymPPaC project ( and to facilite contacts and working exchanges between researchers in the field of complex problem resolution using the "constraints" approach.

Contact and more information:
Pierre Deransart, Tra4CP Administrator, INRIA, Domaine de Voluceau-Rocquencourt, BP 105, F-78153 Le Chesnay Cedex
Tel:  +33 (0)1 39 63 55 36
Fax::+33 (0)1 39 63 54 69