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

4 weeks ago
  1. \* plan.lp *\
  2. Minimize
  3. value: .03 bin1 + .08 bin2 + .17 bin3 + .12 bin4 + .15 bin5 +
  4. .21 alum + .38 silicon
  5. Subject To
  6. yield: bin1 + bin2 + bin3 + bin4 + bin5 +
  7. alum + silicon = 2000
  8. fe: .15 bin1 + .04 bin2 + .02 bin3 + .04 bin4 + .02 bin5 +
  9. .01 alum + .03 silicon <= 60
  10. cu: .03 bin1 + .05 bin2 + .08 bin3 + .02 bin4 + .06 bin5 +
  11. .01 alum <= 100
  12. mn: .02 bin1 + .04 bin2 + .01 bin3 + .02 bin4 + .02 bin5 <= 40
  13. mg: .02 bin1 + .03 bin2 + .01 bin5 <= 30
  14. al: .70 bin1 + .75 bin2 + .80 bin3 + .75 bin4 + .80 bin5 +
  15. .97 alum >= 1500
  16. si1: .02 bin1 + .06 bin2 + .08 bin3 + .12 bin4 + .02 bin5 +
  17. .01 alum + .97 silicon >= 250
  18. si2: .02 bin1 + .06 bin2 + .08 bin3 + .12 bin4 + .02 bin5 +
  19. .01 alum + .97 silicon <= 300
  20. Bounds
  21. bin1 <= 200
  22. bin2 <= 2500
  23. 400 <= bin3 <= 800
  24. 100 <= bin4 <= 700
  25. bin5 <= 1500
  26. End
  27. \* eof *\