Repository of ProblemsThis 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.
ToolsThis subproject consists of a collection of analysis tools developments. The objective is to encourage the collaborative development of trace analysis tools.
Generic FormatThis 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.