我通过其 Cvxpy 界面使用 Commercial Mosek。专门利用其不可行报告功能来调试我的不可行问题。
虽然它对于示例 LP 问题运行得非常好，但在 MILP 问题上却失败了（即求解器日志中没有不可行性报告）。
在 Mosek [0] 的官方文档中，我找不到任何关于不可行性报告支持的问题类型的规范。
请告知不可行性报告支持的问题类型。
（或者它适用于所有问题类型？）
0 - https://docs.mosek.com/9.2/toolbox/debugging-infeas.html