你知道一个非凸QCQP求解器吗？对于学者或学生来说，重要的是免费软件。我试图找到这样的求解器但没有成功......
我的问题是以下形式：
- 具有线性（严格和非严格）不等式
- 具有不等式之间的逻辑约束（如等价，含义）
- 设X = {x1，...，xn}是一组变量，Y = {y1，...，ym}是一组变量。二次约束的形式如下：
- x1 = x1y1 + x2y2
- x2 = x1y3 + x3y4
- x3 = x2y5 + x1y6
- ...
- 左侧X的一个变量
- 平等约束
- 两个变量的乘积之和，系数等于1
- s.t。两个变量的每个乘积只出现在一个来自X的变量和一个来自Y的变量之间。
目标函数是线性的。
感谢您的帮助