小內存佔用量的ILP解算器

Question

我試圖通過將它作爲一個整數線性程序（作爲一個實驗來了解它如何以這種方式工作）來解決序列標籤問題。我已經找到了some suggestions for solvers on SO，但由於我受到一些限制（是的，這個雙關語實際上是有意的），我希望得到更細緻的建議。

由於使用COIN-OR，我的一半以上的序列由於它們的長度而耗盡內存，儘管我沒有理由需要爲我的問題使用如此之多的內存：這是一個布爾線性程序，所以我理論上每個功能只需要一位。但是，例如the COIN Open Solver Interface似乎只能使用雙倍數值。定義約束。

是否有任何（免費的）ILP軟件包非常適用於布爾問題或者至少適用於極小範圍的潛在值問題？

Answer 1

CPLEX似乎大致被認爲是最先進的技術，根據我對硬ILP的經驗，它往往比我找到的任何解算器都要好。不幸的是，除學術用戶外，CPLEX不是免費的;如果您符合該描述，IBM可以爲教育機構的學生和研究人員免費提供CPLEX。