CSPLib

A library of test problems for constraint solvers.

Website | Source

Languages that are a part of the project:

Constraint problems (in numerical order)

Tags: library   logic   constraint solution  

Last modified 15 January 2026