Trace Format for Finite Domain Solvers


Classified Problem Examples

This subproject consists of problem examples classified in three categories illustrativeclassical 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) working

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 working

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.