【发布时间】:2015-04-07 14:20:48
【问题描述】:
我想在 java 程序中使用 0-1 整数规划求解器作为工具。我在网上找不到任何易于使用的东西。我尝试了 sat4j 中的伪布尔库,但这没有很好的记录,有些类与它们在 API 中的描述不一致(有些方法签名不同)。
你有什么建议吗?
【问题讨论】:
标签: java smt integer-programming sat-solvers
我想在 java 程序中使用 0-1 整数规划求解器作为工具。我在网上找不到任何易于使用的东西。我尝试了 sat4j 中的伪布尔库,但这没有很好的记录,有些类与它们在 API 中的描述不一致(有些方法签名不同)。
你有什么建议吗?
【问题讨论】:
标签: java smt integer-programming sat-solvers