The CSPLib site is mirrored in England and the United States

CSPLib: a problem library for constraints

maintained by Ian P. Gent
ipg@dcs.st-and.ac.uk
and Toby Walsh
tw@cs.york.ac.uk
with help from Bart Selman
selman@cs.cornell.edu

Problem submission guidelines

We welcome submission of all your constraint problems. We hope that the library will thereby grow to become a valued resource within the constraints community. To submit a problem, simply email tw@4c.ucc.ie.

A key factor in solving many constraints problems is the modelling of the constraints. We therefore specify all problems in CSPLib using natural language. We also provide hints about modelling these problems.

As we want to help people benchmark their algorithms on problems in CSPLib with minimum effort, we encourage users of the library to send us any tools that might be useful to others (e.g. C parsers for data files, AMPL specification of problems, ILOG Solver code, ...). All such code is placed in the library through the generosity of the authors, and comes with all the usual disclaimers.

To make comparsion with previous work easier, we provide links to papers that use these benchmarks. If you use a problem in CSPLib, please send us the URL to your paper so we can add it to the references section.

Finally, to make it easy to compare your results with others, we will provide a record of results. Please help us keep these records up-to-date by sending in your results promptly.