SubProjects
This subproject consists of problem
studies classified in three categories illustrative, classical
and practical
application. Each problem has an index page containing problem
presentation and references, links to local or abroad pages concerning
trace production and/or trace analysis for this problem. The objective
is to share experiences about problem resolution using specific solver
sand analysis tools.
Tracers
(embedded
into Solvers)
This subproject consists of solvers
or references to solvers with tracing capabilities (tracers). The
objective is to facilitate and discuss the solver trace generation.
This subproject consists of a collection of analysis
tools developments. The objective is to encourage the collaborative
development of trace analysis tools.
This subproject includes all work on the definition of a generic trace
format for constraint solving. All features of the generic trace format Gentra4cp
are discussed here. This project is a forum to improve this format according
to new needs.
pierre.deransart@inria.fr