this repo has no description
dekker.one
1% 为校园游乐会做蛋糕（和数据文件一起）
2
3int: flour; %拥有的面粉克数
4int: banana; %拥有的香蕉个数
5int: sugar; %拥有的糖克数
6int: butter; %拥有的黄油克数
7int: cocoa; %拥有的可可粉克数
8
9constraint assert(flour >= 0,"Invalid datafile: " ++
10 "Amount of flour should be non-negative");
11constraint assert(banana >= 0,"Invalid datafile: " ++
12 "Amount of banana should be non-negative");
13constraint assert(sugar >= 0,"Invalid datafile: " ++
14 "Amount of sugar should be non-negative");
15constraint assert(butter >= 0,"Invalid datafile: " ++
16 "Amount of butter should be non-negative");
17constraint assert(cocoa >= 0,"Invalid datafile: " ++
18 "Amount of cocoa should be non-negative");
19
20var 0..100: b; % 香蕉蛋糕的个数
21var 0..100: c; % 巧克力蛋糕的个数
22
23% 面粉
24constraint 250*b + 200*c <= flour;
25% 香蕉
26constraint 2*b <= banana;
27% 糖
28constraint 75*b + 150*c <= sugar;
29% 黄油
30constraint 100*b + 150*c <= butter;
31% 可可粉
32constraint 75*c <= cocoa;
33
34% 最大化我们的利润
35solve maximize 400*b + 450*c;
36
37output ["no. of banana cakes = \(b)\n",
38 "no. of chocolate cakes = \(c)\n"];