CSPLib
Problems
prob002
Data
catfood_2.dzn
002: Template Design
Specification
Data files
Results
References
Models
Cite
Json
Edit Page
Download
S = 9; t = 2; n = 7; d = [250, 255, 260, 500, 500, 800, 1100];