The CSPLib site is mirrored in Scotland and the United States

CSPLib: a problem library for constraints

maintained by Ian P. Gent
ipg@cs.strath.ac.uk
and Toby Walsh
tw@cs.strath.ac.uk
with help from Bart Selman
selman@cs.cornell.edu

Problem in numerical order:

prob001: car sequencing.

prob002: template design.

prob003: quasigroup existence.

prob004: mystery shopper.

prob005: low autocorellation binary sequences.

prob006: Golomb rulers.

prob007: all-interval series.

prob008: vessel loading.

prob009: perfect square placement.

prob010: social golfer problem.

prob011: ACC basketball schedule.

prob012: nonograms.

prob013: progressive party problem.

prob014: Solitaire Battleships.

prob015: Schur's lemma.

prob016: traffic lights.

prob017: Ramsey numbers.

prob018: water bucket problem.

prob019: magic squares and sequences.

prob020: darts tournament.