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.
Classified Problem Examples
This subproject consists of solvers or references to solvers with tracing capabilities(tracers). The objective is to facilitate and discuss the solver trace generation.
Tracers (Solvers and Traces)
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.