Generators of random CSP instances for empirical evaluations:

Generators developed at the Constraint Systems Laboratory:

• A Generator for Solvable Random Non-Binary Finite Constraint Satisfaction Problems (new version).
  Anagh Lal, Berthe Y. Choueiry, and Hui Zou
  • Code in C, tarred and gzipped
  • CSL-03-01.ps
  • Bibtex entry


• A Generator for Random Non-Binary Finite Constraint Satisfaction Problems (any arity).
  Graph generation provided by Professor Stergiou Konstantinos, tuple generation and conversion to XCSP 2.0 format by Shant Karakashian.
  • Code in C


• A Generator for Random Instances of Binary Finite Constraint Satisfaction Problems with Controllable Levels of Interchangeability.
  Hui Zou and Amy M. Beckwith and Berthe Y. Choueiry
  • Code in C , tarred and gzipped Hui Zou (hzou @ cse.unl.edu)
  • CSL-01-01.doc (MSWord document)
  • Bibtex entry.

Generators developed by others:

• Random generator for binary CSPs. This generator originates from the one written by Christian Bessière (LIRMM). It was modified by Shant Karakashian to output the results in XCSP2.0 format, then updated by Peter Schlette, and finally bug-fixed by Chritoper Reeson.
  This generator:
  1. guarantees that the network is connected (both by checking on the number of constraints before generating the graph and also by checking the connectedness of the generated graph;
  and
  2. writes each generated instance into a separate file (when the option "-f myFileTag" is used) .


• RBGenerator: A Generator for Random CSP in JAVA using Model RB by Lecoutre et al.


• A Generator for Random CSP in JAVA by B.G.W. Craenen.


• The RandomCSP Library by J.I. van Hemert.


• Instances of forced satisfiable CSPs and SAT Benchmarks of Model RB by Ke Xu.


• Random generator by Patrick Prosser.


• Random generator in C courtesy of Fahiem Bacchus (and P. van Run).


• JACK : a library providing constraint programming and search for Java (high-level language, generic search engine, and a visualization tool).