max v !row player s.t. v-x2+x3<=0 !Stone constraint v+x1-x3<=0 !Paper constraint v-x1+x2<=0 !Scissors constraint x1+x2+x2=1 end free v