半定整数编程库

Question

我正在尝试找到一种优化框架，该框架支持对整数变量进行半定型编程（SDP）。在我的特定情况下，所有变量均为0-1，与优化无关，它首先是找到令人满意的解决方案。 （我知道实际上存在解决方案，所以我很想在整数中找到它们。）我很难在其中筛选各种库，因为它们常常表示不太好（imo）它们是否支持SDP或ILP。我也知道有些人可能会两者都支持，但不一定很好地将它们一起使用。我希望有人能有经验，谢谢。

哦，学术许可还不错（这是用于学术工作）；理想情况下，它不需要商业许可证。