我试图通过将其公式化为整数线性程序来解决序列标记问题（作为一个实验，看看以这种方式做的效果如何）。我已经为 SO 上的求解器找到了一些建议，但由于我受到一些限制，我想获得一些更细粒度的建议（是的，这个双关语实际上是有意的）。
由于在使用COIN-OR时的长度，我的一半以上序列的内存不足，尽管我认为没有理由需要为手头的问题使用这么多内存：这是一个布尔线性程序，所以我理论上每个特征只需要一位。然而，例如COIN Open Solver Interface似乎只能使用双精度值来定义约束。
是否有任何（免费）ILP 包非常适合布尔问题或至少适用于具有非常小的潜在值范围的问题？