对于一个爱好项目，我需要解决一系列二次规划问题，每个问题

• 大约 500 个变量
• 大约 1000 个约束，每个形式$x_i-x_j\le c_{ij}$
• 目标函数是大约 300 项形式的总和$w_{ij}^2(x_i-x_j+d_{ij})^2$
• 大约三分之一的变量被目标函数忽略，只是用来帮助组织约束。

我想肯定有现成的求解器可以做到这一点，但我对这个领域很陌生，维基百科上的求解器列表对于选择要查看的求解器并没有真正的帮助。有人可以帮我指出一个好的选择吗？

我正在寻找免费的东西，并且没有太多的学习曲线，只是为了将问题放入其中并获得解决方案。然而，需要用 C/C++、Java、Perl 等编写一些胶水代码并不是一件容易的事。