Exact mixed-strategy Nash equilibrium solver for two-player strategic bimatrix normal-fo…