smt是否有适用于java的易用01 IP解算器？

Question

我想使用0-1整数规划解算器作为java程序中的工具。我在网上找不到任何易于使用的东西。我尝试了sat4j中的伪布尔库，但这并没有很好的文档记录，有些类与API中的描述不一致（有些方法签名不同）

你有什么建议吗

Answer 1

GLPK，LP和（混合）ILP的开源包有Java binding

另一个开源解决方案是lp_solve（Java API）和SCIP

还有一些商用的解算器-CPLEX、GUROBI和Mosek，都带有Java接口

顺便说一句，对于我的家庭作业，我发现Python和PuLP更容易使用：）