Numberjack:Python组合优化平台

号码劫持者 用于组合优化的Python平台 什么是Numberjack？ Numberjack是用Python编写的用于组合优化的建模程序包。 Python得益于庞大而活跃的编程社区，因此Numberjack是将优化技术嵌入大型应用程序的理想工具。 它旨在无缝有效地支持许多底层C / C ++求解器。 有很多可用的后端：三个混合整数编程求解器（ ， 和 ），可满足性求解器（ ， 等），一个约束编程求解器（Mistral）和一个加权约束满足求解器（ ）。 Numberjack提供了高级约束编程语言 Numberjack直接受益于python的功能和模块 Numberjack使用高效的基础C / C ++求解器。 安装 Numberjack提供了使用多个高性能求解器的能力，其中一些要求单独安装或具有自己的依赖性。 Numberjack发行版中包含用于构建Mistral，Toulbar