---

Project Description

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.

Active Projects
             Codeine  (a tracer for GNU-Prolog)
            GnuSBDS   (a version of Codeine allowing to break symetries)

---

• Administrators: P. Deransart and J.-D. Fekete

---

• Developers

Want to initiate or to participate to some tracer development? please contact an Administrator.

---

pierre.deransart@inria.fr  23/12/2005