# brewery model  (E&K, section 2.2)

var  light >= 0;
var  dark >= 0;
var  ale >= 0;
var  premium >= 0;

maximize objective: 6 * light + 5 * dark + 3 * ale + 7 * premium;

subject to malt: 1*light + 1 * dark + 3 * premium <= 50;
subject to hops: 2*light + 1 * dark +2 * ale + premium <= 150;
subject to yeast: light + dark + ale + 4 * premium <= 80;