Outils pour l'Analyse Dynamique et la mise au point de
Programmes avec Contraintes
Tools for Dynamic Analysis and Debugging of Constraint Programs
Generic Trace Format for Constraint Programming
Here is the documentation relative to a generic trace format
for finite constraint solvers, including search space and propagation,
its syntax and its semantics.
This generic trace enables debugging tools to be
defined almost independently from finite domain solvers, and
conversely, tracers to be built independently from these tools.
The trace syntax is represented using an XML DTD, called ``gentra4cp.dtd''.
A compliant trace is encoded in an XML format according to this DTD and follows
the described semantics.
The trace contains also some elements for communications and
synchronization between solvers and debugging tools.
newtrace_format.2.1.pdf (376K) newtrace_format.2.1.ps (479K)version of july 2004
.ps links to a PostScript file
.pdf links to a portable document format file - Acrobat Reader, a free viewer for pdf files is available at http://www.adobe.com
.doc links to a MSWord file
.rtf links to a rich text format file
.tex links to a LaTeX file
.txt links to a ascii text file
.zip links to a ZIP archive
.gz are gziped files