This work is licensed under a Creative Commons Attribution 4.0 International License. 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 95 problems in 16 categories proposed by 73 authors.
Please submit any updates or corrections to CSPLib to our git repository, either as a new issue, or pull request.
The current editors-in-chief and maintainers of CSPLib are Chris Jefferson and Özgür Akgün.
We are grateful to the previous editors of CSPLib: Ian Miguel, Brahim Hnich, Ian Gent and Toby Walsh, website maintainers including Bilal Syed Hussain, and all the contributors to CSPLib since its creation in 1999.
This work is licensed under a Creative Commons Attribution 4.0 International License.