Matrix Scip能否根据矩阵方程求解MIP？

我的问题与Scip中的混合整数规划（MIP）有关：
我有以下代码：

    $\min trace(X)$
subject to
    $$(A+D)^TX+X(A+D)=I\\
    d_i \in \left\{0,1\right\} \mbox{ for } i=1,\ldots,n$$
where A is a n*n matrix and $D=diag(d_1,\ldots,d_n)$ is a diagonal matrix.  

---

由于矩阵约束是线性的，因此方程可以转换为线性方程组（通过Kronecker乘积和向量化操作），但这仅限于小n。可以用Scip直接求解矩阵方程吗？有没有办法嵌入外部解算器？或者我必须为连续李雅普诺夫矩阵方程编写自己的求解器吗？

矩阵方程无法在SCIP中处理。你需要把它们转换成线性方程组。此外，所有数据都必须在某个时间加载到LP解算器中，并且需要像这里通常的约束一样进行公式化。因此，即使SCIP本身能够处理矩阵方程，您迟早需要扩展问题。

您可以尝试使用用于多项式约束和目标的pip文件格式。看到和

您必须自己进行矩阵运算或使用ZIMPL