SourceForge.net Logo

Trac4CP

Generic Trace Format Subproject

Generic Trace Format for Finite Domain Constraint Programming

map of the site


Project Description

This trace format project  consists of development of a generic trace format for finite domain constraint solvers
See the current state of the generic trace fomat
This format must be used as output of any finite domain solver and accepted as input of any analysis tool developed in this sourceforge project.




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