Trace Format for Finite Domain Solvers

Repository of Problems and Traces

Work in Progress!!!  Pages in progress quoted by A lighting flam

This repository is a collection of problems. Each problem is a subproject managed by a subproject administrator. Each contributor becomes a subproject developer. The pupose of a project is to build traces whose originality and interest comes from various reasons: it reflects some particular property of the used solver, or of a particular analysis tool, or it shows some characteristics of the problem or of its resolution which help to improve the solutions. Each project/problem shall follow a project schema described here (to be done). To start a new project/program, prepare a first instance of the project, then contact one of the project administrator.
Some other objectives of a problem/project may be: