The source code and dockerfile for the GSW2024 AI Lab.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.
 
 
 
 
 
 

39 lines
1.2 KiB

\* plan.lp *\
Minimize
value: .03 bin1 + .08 bin2 + .17 bin3 + .12 bin4 + .15 bin5 +
.21 alum + .38 silicon
Subject To
yield: bin1 + bin2 + bin3 + bin4 + bin5 +
alum + silicon = 2000
fe: .15 bin1 + .04 bin2 + .02 bin3 + .04 bin4 + .02 bin5 +
.01 alum + .03 silicon <= 60
cu: .03 bin1 + .05 bin2 + .08 bin3 + .02 bin4 + .06 bin5 +
.01 alum <= 100
mn: .02 bin1 + .04 bin2 + .01 bin3 + .02 bin4 + .02 bin5 <= 40
mg: .02 bin1 + .03 bin2 + .01 bin5 <= 30
al: .70 bin1 + .75 bin2 + .80 bin3 + .75 bin4 + .80 bin5 +
.97 alum >= 1500
si1: .02 bin1 + .06 bin2 + .08 bin3 + .12 bin4 + .02 bin5 +
.01 alum + .97 silicon >= 250
si2: .02 bin1 + .06 bin2 + .08 bin3 + .12 bin4 + .02 bin5 +
.01 alum + .97 silicon <= 300
Bounds
bin1 <= 200
bin2 <= 2500
400 <= bin3 <= 800
100 <= bin4 <= 700
bin5 <= 1500
End
\* eof *\