我正在尝试通过将其设计为整数线性程序来解决序列标记问题（作为一个实验，看看以这种方式做得如何有效）。我已经找到了some suggestions for solvers on SO但是我希望得到一些更细粒度的建议，因为我受到一些限制（是的，双关语实际上是打算）。
由于使用COIN-OR时的长度，我的序列中有一半以上的内存耗尽虽然我认为我没有理由需要使用这么多内存来解决我的问题：这是一个布尔值线性程序，所以我理论上每个功能只需要一位。但是，例如the COIN Open Solver Interface似乎只能使用双倍值，例如定义约束。
是否有任何（免费）ILP软件包非常适合布尔问题，或者至少是针对极小范围潜在值的问题？
答案 0 :(得分：1)
CPLEX似乎被认为是最先进的技术，而且根据我对硬ILP的经验，它通常比我找到的任何免费求解器更好。不幸的是，除学术用户外，CPLEX不是免费的;如果您符合该描述，IBM确实为教育机构的学生和研究人员提供免费访问CPLEX。