1. CSPLib
  2. Problems
  3. prob015
  4. Data
  5. 10-3.dzn

015: Schur's Lemma

Download 
n = 10;
c = 3;