OADymPPaC

Outils pour l'Analyse Dynamique et la mise au point de
Programmes avec Contraintes

Tools for Dynamic Analysis and Debugging of Constraint Programs

GENTRA4CP
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)