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

015: Schur's Lemma

Download 
n = 5;
c = 3;