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
- 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
Hui Zou and Amy M. Beckwith and Berthe Y. Choueiry
Generators developed by others: