SourceForge.net Logo

Trac4CP

Trace Format for Constraint Solving

 

Project Description

The purpose of this project is to build a repository of constraint problems resolution traces and of trace production and analysis tools, with the objective to gather and exchange experiences in complex problem resolution and useful observation of constraint solving.





pierre.deransart@inria.fr