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