The purpose of this subproject is the development of solvers with tracing capabilities. In this subproject a project corresponds to the development of a tracer for a particular solver. Solver/Tracer packages can be downloaded from the corresponding "Tracer Project"; it is requested that a tracer generates traces satisfying the "gentr4cp" format developed in the Gentra4CP subproject.
Codeine (a tracer for GNU-Prolog)
GnuSBDS (a version of Codeine allowing to break symetries)
Want to initiate or to participate to some tracer development? please contact an Administrator.