min w !column player s.t. w+y2-y3>=0 !Stone constraint w-y1+y3>=0 !Paper constraint w+y1-y2>=0 !Scissors constraint y1+y2+y2=1 end free w