Generic Trace Format Subproject

map of the site

Subproject Description

This subproject  consists of development of a generic trace format for constraint solvers that enables debugging tools to be defined almost independently from solvers and tracers, and conversely, tracers to be built independently from these tools. A first generic trace format for finite domain constraint solvers as already been defined and may be improved in the trace format project  called "generic trace for finite domain solvers".

 Active Projects
         Generic trace for finite domain solvers   23/12/2005