map of the site
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.
Want to contribute to this project? please contact an Administrator.