找到约束零和二人游戏的鞍点相当于原始对偶程序的分辨率（具有双线性目标函数）。

我正在寻找一个免费的求解器来计算受限零和两人游戏中的鞍点（在具有线性约束和双线性目标函数的原始对偶程序中）。

原始双程序

$$\begin{align} \max_x \qquad &x^tAy \\ \text{s.t.} \qquad & Bx \leq b \\ & x_i\geq 0 \\ & x_1+x_2 +\dots+x_m = 1, \\ \\ \min_y \qquad &x^tAy \\ \text{s.t.} \qquad & Dy \leq d \\ & y_i\geq 0 \\ & y_1+y_2 +\dots+y_n = 1. \end{align}$$