Trace Format for Finite Domain Solvers
-
To see the state of a subproject, follow one of the
links bellow (but contents may be out of date)
-
To get the up to date project, download the project
from cvs directory or update the pages of interest in your working
dir
-
To modify the project pages, dir or files, you must
be a developper and you must update your working dir first
-
To acces the project
root page of the cvs repository
This subproject 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.
This subproject consists of solvers
or references to solvers with tracing capabilities(tracers).
The objective is to facilitate and discuss the solver trace generation.
All features of the generic trace format Gentra4cp
are discussed here. This project is a forum to improve this format according
to new needs.
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.
pierre.deransart@inria.fr
