CSPLib is a library of test problems for constraint solvers. The library consists of:
CSPLib also maintains a list of constraint languages and the tools which can be used to solve problems in these languages.
The main motivation for CSPLib is to focus research in constraints away from purely random problems and onto more structured problems.
We currently have 56 problems in 9 categories proposed by 40 authors.
Please submit any updates or corrections to CSPLib to our git repository, either as a new issue, or pull request.
The current editor-in-chief of CSPLib is Chris Jefferson. The current website maintainers are Bilal Syed Hussain and Chris Jefferson.
We are grateful to the previous editors of CSPLib: Ian Miguel, Brahim Hnich, Ian Gent and Toby Walsh, and all the contributors to CSPLib over the past 15 years.