CSPLib is a library of test problems for constraint solvers. The library consists of:
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.
Infomation on the languages and tools used in the specifications
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.