Project DescriptionThe 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 four subprojects, each of them with several "xxx projects".
The first subproject "Repository" consists of a collection of studies devoted to one specific problem.
Problems are classified as: illustrative, classical or 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 study of a specific problem corresponds to a "Problem Project". The purpose of a problem study is to show interest of some analysis tools for the resolution of this problem using a particular solving method. In these "problem projects" developpers may illustrate the efficiency of some tracer, the usefulness of some tool and share experiences about problem analysis using specific solver and analysis tool.The second subproject "Tracers" consists of development of solvers with tracing capabilities. The objective is to facilitate the production of tracers. In this subproject a "Tracer Project" corresponds to the development of a tracer for a particular solver. Solver/Tracer packages can be downloaded from the corresponding "Tracer Project"; it is requested that a tracer generates traces satisfying the "gentr4cp" format developed in the fourth subproject.
The third subproject "Tools" consists of development of analysis tools. The objective is to encourage the collaborative development of trace analysis tools. In this subproject a "Tool Project" corresponds to the development of a particular tool. Tool packages can be downloaded from the corresponding "Tool Project"; it is requested that a tool uses, as input, traces satisfying the "gentr4cp" format developed in the fourth subproject.
The fourth subproject "Gentra4cp" consists of development of a generic trace format for constraint solvers that enables debugging tools to be defined almost independently from solvers and tracers, and conversely, tracers to be built independently from these tools. A first generic trace format for finite domain constraint solvers as already been defined. Any information about this format (XML syntax and semantics) can found at here. Its improvments and extentions to other constraint domains, etc..., should be made within this subproject.
This sourceforge project originated from the results of the French RNTL OAdymPPaC project (2001-2004). It is expected to help to dissseminate, to experiment and to further extend results of this former project with a wider audience. It should facilitate contacts and exchanges between researchers in the field of complex problem resolution using the "constraints" approach and should be a start point for other new projects.
- Administrators: P. Deransart and J.-D. Fekete
- Developers
Want to be a developer? please contact an Administrator.
- Partners
Want to be a partner? please contact an Administrator
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
http://contraintes.inria.fr
E-mail: Pierre.Deransart@inria.fr
pierre.deransart@inria.fr