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.

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)

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

writes each generated instance into a separate file (when the
option "-f myFileTag" is used) .