Trace Format for Finite Domain Solvers


Repository of classified problem examples
Repository of tracers
Repository of analysis tools

Classified Problem Examples

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.

Tracers (Solvers and Traces)

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.

Analysis Tools

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.