[Oz] CSPLib v1.0

[Toby Walsh]

             CSPLib v1.0: a benchmark library for constraints

                      http://csplib.cs.strath.ac.uk
                      email:csplib at cs.strath.ac.uk

                Announcement of Release and Call for Problems

Ian Gent, Bart Selman and myself are putting together a benchmark library of 
problems for the constraints community called CSPLib. With your assistance, 
this could become a very valuable resource. We wish to announce the release of
version 1.0 of this library. The library currently contains 14 problems in
5 different categories. We encourage you to send us many more problems, as
well as results and links about your experiences solving problems already in
the library. We are particulatly keen to get benchmarks which are extracted 
from "real" problems. If you have ever complained how hard it is to get your 
hands on real problems and have any at your disposal, please do the decent
thing and contribute them to the library for us all to solve. 

If you wish to send us a problem for inclusion, we ideally like the following:

1. a simple natural language description of the problem
2. data files (if appropriate) to accompany this description
3. reference to papers which introduce the problem or use it
   as a benchmark (with URLs where possible)
4. a summary of results (especially where problems are open)
5. solution files (so people can check they have a correct model)
6. any program code that might be useful to other people trying
   this problem out (e.g. C parser for the data file, Solver or 
   ECLIPSE code to solve the problem, AMPL specification file, ...)
7. anything else that might be of use (e.g. hints about modelling,
   discussion about symmetries). 

Don't forget this is a cheap way for you to get other people to solve
your open problems and to get comparisons between your system and
other approaches. Thanks a lot,

toby walsh



-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.