* Added MIP algorithm for Nash equilibrium search.