1. CSPlib
  2. Problems
  3. prob017
  4. Data

017: Ramsey Numbers