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

025: Lam's Problem