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".
Generic trace for finite domain solvers
Want to be a developer? please contact an Administrator.