Overview

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.

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.

Updates