: 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

CSPLib is funded by , the UK Network of Constraints

Overview

CSPLib is a library of test problems for constraint solvers. The library consists of:

• problems organized by subject area and problem number
• guidelines for submitting new problems
• a paper about the library (in postscript or html) and its bibtex reference
  (also available from the APES technical report page)
• a list of related benchmark libraries
• links to constraint solvers
• a mailing list for news and updates
• a history of changes to the library
• a tar file of version 2.1 of the library (and version 2.0)

The main motivation for CSPLib is to focus research in constraints away from purely random problems and onto more structured problems.

To propose new entries, or to extend or correct existing entries, pleas email tw@4c.ucc.ie.