1. CSPLib
  2. Problems
  3. prob002
  4. Data
  5. catfood_3.dzn

002: Template Design

Download 
S = 9;
t = 3;
n = 7;
d = [250, 255, 260, 500, 500, 800, 1100];