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

015: Schur's Lemma

Download 
n = 7;
c = 3;