Tracers Subproject

Map of the site

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)  23/12/2005